Assertion list
royal palace (subgroup of palace ) → HasProperty
Results from Ascent++: 1
royal palace → HasProperty → open 0.59