Assertion list
vertex (aspect of graph ) → AtLocation
Results from Ascent++: 3
vertex → AtLocation → the graph 0.55
vertex → AtLocation → the origin 0.44
vertex → AtLocation → the input graph 0.25