RoadJunction(oxfordCircus) ∧ Connect(oxfordCircus, oxfordSt, regentSt)
In(oxfordSt, london) ∧ In(regentSt, london)
Designed(nash, construction) ∧ On(construction, regentSt)
Designed(nash, oxfordCircus)
Architect(nash) ∧ British(nash)
EntraceTo(oxfordCircus, tubeStation) ∧ PartOf(tubeStation, centralline) ∧ In(tubeStation, 1900)
∀x (PartOf(x, centralLine) → Design(johnNash, x))