Assertion list
good soil (subgroup of soil ) → IsA
Results from Ascent++: 2
good soil → IsA → the key 0.59
good soil → IsA → soil 0.25