Tower B is located in New Haven.
All buildings in New Haven are low.  All buildings managed by the Yale Housing are located in New Haven.  All buildings in Manhattans are high.  All buildings owned by Bloomberg are located in Manhattans.  All buildings with the Bloomberg logo are owned by Bloomberg.  Tower A is managed by the Yale Housing. Tower B is with the Bloomberg logo.
∀x (Located(newhaven, x) → ¬High(x)) ∀x (YaleHousing(x) → Located(newhaven, x)) ∀x (Located(manhattans, x) → High(x)) ∀x (Bloomberg(x) → Located(manhattans, x)) ∀x (BloombergLogo(x) → Bloomberg(x)) YaleHousing(tower-a) BloombergLogo(tower-b)