Assertion list
control room (primary) → HasProperty
Results from Ascent++: 2
control room → HasProperty → comfortable 0.48
control room → HasProperty → large 0.16