Assertion list
acyclic graph (subgroup of graph ) → IsA

Results from Ascent++: 1
acyclic graphIsA graph 0.68