Assertion list
hotel (primary) → IsA
Results from Ascent++: 2
hotel → IsA → under construction 0.56
hotel → IsA → old building 0.42