(<=> (Used-By ?A ?B) (And (Exists (?C) (And (Instrument-Of ?A ?C) (Performs ?B ?C) (Act ?C) (Object ?B))) (Pseudo-Actor ?A ?B) (Entity ?A) (Object ?B)))