Assertion list
tall building (subgroup of building ) → HasProperty
Results from Ascent++: 2
tall building → HasProperty → appropriate 0.42
tall building → HasProperty → visible 0.30