Assertion list
good art (subgroup of art ) → IsA
Results from Ascent++: 1
good art → IsA → art 0.75