Assertion list
abstract painting (subgroup of painting ) → HasProperty
Results from Ascent++: 1
abstract painting → HasProperty → the most difficult 0.25