Assertion: building | /r/HasProperty | connected with group
Facets:
Source sentences:
text: Tits proved a remarkable theorem: all spherical buildings of rank at least three are connected with a group; moreover, if a building of rank at least two is connected with a group then the group is essentially determined by the building.