Assertion list
cutout (primary) → HasProperty
Results from Ascent++: 7
cutout → HasProperty → precise 0.75
cutout → HasProperty → smaller 0.63
cutout → HasProperty → rectangular 0.47
cutout → HasProperty → large 0.43
cutout → HasProperty → bent 0.25
cutout → HasProperty → deep 0.25
cutout → HasProperty → perfect 0.16