Assertion list
science museum (subgroup of museum ) → HasA
Results from Ascent++: 1
science museum → HasA → dedicated library 0.25