Assertion list
line graph (subgroup of graph ) → IsA
Results from Ascent++: 1
line graph → IsA → graph 0.34