Assertion list
hospital room (primary) → HasProperty
Results from Ascent++: 2
hospital room → HasProperty → cold 0.75
hospital room → HasProperty → large 0.59