A medical machine-aided activity.
(=> (Machine-Aided-Healthcare-Activity ?Self) (And (Exists (?A) (And (Instrument ?Self ?A) (Machine ?A))) (Exists (?B) (And (Supports ?Self ?B) (Or (Therapeutic-Or-Preventive-Procedure ?B) (Laboratory-Procedure ?B) (Diagnostic-Procedure ?B))))))