Assertion list
vertex (aspect of graph ) → IsA
Results from Ascent++: 1
vertex → IsA → maximum point 0.25