(<=> (Operation-Target-Of ?A ?B) (And (Exists (?C) (And (Target-Of ?A ?C) (Effects ?B ?C) (Act ?C) (Object ?B))) (Pseudo-Actor ?A ?B) (Entity ?A) (Object ?B)))