Assertion list
floor jack (subgroup of jack ) → HasProperty
Results from Ascent++: 1
floor jack → HasProperty → low 0.25