Restaurant(Nishoku) Nishoku serves spaghetti. Serves(Nishoku, Spaghetti) Nishoku is near Barber. Near(LocationOf(Nishoku), LocationOf(Barber)) A restaurant that serves spaghetti near Barber ∃x Restaurant(x) Serves(x, Spaghetti) ∧ ∧Near((LocationOf(x), LocationOf(Barber)) I will arrive in New York. ∃i,e,w,t ISA(w,Arriving) Arriver(w,speaker) ∧ ∧Destination(w,NewYork) IntervalOf(w,i) ∧ ∧Endpoint(i,e) Precedes(Now,e) ∧