(<=> (Exploited-By ?A ?B) (And (Exists (?C) (And (Resource-Of ?A ?C) (Performed-By ?C ?B))) (Pseudo-Actor ?A ?B) (Substance ?A) (Object ?B)))