(<=> (Exploits ?A ?B) (And (Pseudo-Actor-Of ?A ?B) (Exists (?C) (And (Performs ?A ?C) (Resource ?C ?B)))))