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