Assertion list
vertex (aspect of triangle ) → IsA
Results from Ascent++: 1
vertex → IsA → point 0.41