Assertion list
line graph (subgroup of graph ) → HasProperty
Results from Ascent++: 1
line graph → HasProperty → useful 0.16