(<=> (Remote-Cause ?A ?B) (And (Exists (?C) (And (Outcome-Of ?A ?C) (Cause-Of ?B ?C) (Process ?C) (Entity ?B))) (Pseudo-Actor ?A ?B) (Entity ?A) (Entity ?B)))