April Greeting

∀x: Linguist(x), ∀y: Guest(y),
∃z: BlumenstrasseFlat(z) → (LivesIn(x,z) ∧ IsWelcomeIn(y,z))

Author: Lucello

Something about me? View all posts by Lucello