Ascent++
Search
directed graph
subgroup of
graph
,
2
assertions
HasA
1
cycle
0.25
IsA
1
graph
0.25