Apr 09 2007
Published by Lucello under Flat Name of the Month
∀x: Linguist(x), ∀y: Guest(y), ∃z: BlumenstrasseFlat(z) → (LivesIn(x,z) ∧ IsWelcomeIn(y,z))
One response so far