Assertion list
vertex (aspect of triangle ) → HasA
Results from Ascent++: 3
vertex → HasA → same coordinates 0.41
vertex → HasA → coordinate 0.31
vertex → HasA → colour 0.28