Assertion list
cash tip (subgroup of tip ) → HasProperty
Results from Ascent++: 1
cash tip → HasProperty → includable 0.41