(=> (Pharmacologic-Challenge ?Self) (Exists (?A) (And (Resource ?Self ?A) (Pharmacologic-Substance ?A))))