Assertion list
planar graph (subgroup of graph ) → IsA
Results from Ascent++: 1
planar graph → IsA → graph 0.68