(<=> (Diagnosed-By ?A ?B) (And (Evaluated-By ?A ?B) (Inverse-Of-Clinical-Relation ?A ?B) (Health-Condition ?A) (*Healthcare-Operator ?B)))