Apr 09 2007
April Greeting
∀x: Linguist(x), ∀y: Guest(y),
∃z: BlumenstrasseFlat(z) → (LivesIn(x,z) ∧ IsWelcomeIn(y,z))
Leave a Reply
You must be logged in to post a comment.
Apr 09 2007
∀x: Linguist(x), ∀y: Guest(y),
∃z: BlumenstrasseFlat(z) → (LivesIn(x,z) ∧ IsWelcomeIn(y,z))
You must be logged in to post a comment.