Assertion list
natural forest (subgroup of forest ) → IsA
Results from Ascent++: 1
natural forest → IsA → home 0.25