Assertion list
plan (primary) → IsA
Results from Ascent++: 1
plan → IsA → good idea 0.53