Assertion list
rear window (primary) → HasProperty
Results from Ascent++: 3
rear window → HasProperty → removable 0.62
rear window → HasProperty → small 0.47
rear window → HasProperty → higher 0.38