Painting(monaLisa) ∧ TheWorldsBestKnown(monaLisa)
PaintedBy(monaLisa, leonardodaVinci) ∧ Portrait(monaLisa)
Scientist(leonardodaVinci) ∧ Painter(leonardodaVinci)
∀x (Painting(x) → (History(x) ∨ Portrait(x) ∨ Animal(x) ∨ Landscape(x) ∨ StillLife(x)))
∃x (PaintedBy(x, leonardodaVinci) ∧ Landscape(x))