Assertion list
compacted soil (subgroup of soil ) → IsA
Results from Ascent++: 1
compacted soil → IsA → issue 0.32