C
PhD(x) HQ(x) HQ(x) Rich(x)
>
>
{}
PhD(x) Rich(x) PhD(x) ES(x)
>
>
{}
Rich(x) ES(x) ES(x) Rich(x)
>
>
{}
Rich(x) Rich(Me)
{x/Me}