(<=> (Conventional-Goal ?A ?B) (And (Exists (?C) (And (From-Actor ?A ?C) (Goal ?C ?B))) (Pseudo-Actor ?A ?B) (Process ?A) (Temporalized-Entity ?B)))