Assertion list
formal dining room (subgroup of dining room ) → HasProperty
Results from Ascent++: 2
formal dining room → HasProperty → perfect 0.59
formal dining room → HasProperty → open 0.43