In this paper, to avoid an overgrowth of notation, I will write where, strictly speaking, I should, in the ontologically promiscuous notation of Hobbs (1985a), write change(e 1 , e 2 ) ∧ p (e 1 , x) ∧ q (e 2 , x) This says that there is a change from the situation of p being true of x to the situation of q being true of x.
we decompose this goal into two subgoals-containing the coffee in the cup and moving the cup.