Assertion list
undirected graph (subgroup of graph ) → HasA
Results from Ascent++: 1
undirected graph → HasA → edge 0.25