Archive for April 9th, 2007

Apr 09 2007

April Greeting

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