Assertion list
garden soil (subgroup of soil ) → HasA
Results from Ascent++: 1
garden soil → HasA → much sand 0.25