(<=> (Local-Cause ?A ?B) (And (Exists (?C) (And (Context-Of ?A ?C) (Cause ?C ?B))) (Pseudo-Actor ?A ?B) (Situation ?A) (Entity ?B)))