Assertion list
art museum (subgroup of museum ) → HasA

Results from Ascent++: 1
art museumHasA work 0.38