Assertion list
new museum (subgroup of museum ) → IsA
Results from Ascent++: 1
new museum → IsA → under construction 0.36