Assertion list
vertex (aspect of graph ) → HasProperty
Results from Ascent++: 4
vertex → HasProperty → adjacent 0.70
vertex → HasProperty → reachable 0.64
vertex → HasProperty → equal 0.52
vertex → HasProperty → colored 0.46