Assertion list
cave painting (subgroup of painting ) → IsA
Results from Ascent++: 1
cave painting → IsA → painting 0.43