Assertion list
new museum (subgroup of museum ) → HasProperty
Results from Ascent++: 1
new museum → HasProperty → larger 0.16