Assertion list
dormitory (primary) → IsA
Results from Ascent++: 1
dormitory → IsA → larger buildings 0.35