Assertion list
plowing (primary) → HasProperty
Results from Ascent++: 2
plowing → HasProperty → necessary 0.51
plowing → HasProperty → dangerous 0.16