Assertion list
ironing (primary) → HasProperty
Results from Ascent++: 3
ironing → HasProperty → bad 0.45
ironing → HasProperty → easier 0.45
ironing → HasProperty → easy 0.24