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