Assertion list
public museum (subgroup of museum ) → HasProperty
Results from Ascent++: 1
public museum → HasProperty → free 0.29