Assertion list
vertex (aspect of graph ) → HasA

Results from Ascent++: 9
vertexHasA odd degree 0.46
vertexHasA different colours 0.41
vertexHasA two edges 0.41
vertexHasA valency 0.41
vertexHasA same number of neighbors 0.30
vertexHasA same values 0.30
vertexHasA many facts 0.25
vertexHasA same symmetry class 0.25
vertexHasA a self-loop 0.13