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