BornIn(rosa, santiago)
CapitalOf(santiago, chile) ∧ LargestCityOf(santiago, chile)
DaughterOf(rosa, jose) ∧ BuildingContractor(jose) ∧ Catalan(jose)
WifeOf(jose, carmen) ∧ Chilean(carmen)
ParentOf(jose, rosa) ∧ ParentOf(carmen, rosa)
∀x (Catalan(x) → ¬Chilean(x))
∀x ∃y (BuildingContractor(x) → ConstructionSite(y) ∧ Oversee(x, y))
∃x (BornIn(rosa, x) ∧ LargestCityOf(x, chile))