Expanded metonymic sense for diagnoses with a 'method' domain.
(<=> (Diagnostic-Method-Of ?A ?B)
(And (Clinical-Actor-Of ?A ?B)
(Exists (?C)
(And (Method-Of ?A ?C)
(Diagnostic-Action-Of ?C ?B)))))