Expanded metonymic sense for diagnoses with a 'procedure' domain.
(<=> (Diagnostic-Action-Of ?A ?B) (And (Clinical-Actor-Of ?A ?B) (Exists (?C) (And (Performed-By ?A ?C) (Diagnoses ?C ?B))) (Activity ?A)))