Manny is in this midwest town, and she either has a horse ranch and lives in a cramped residential building, or she does neither.
InThisMidwestTown(manny) ∧ ¬(Have(manny, horseRanch) ⊕ LiveIn(manny, crampedBuilding))