Assertion list
window shutter (subgroup of shutter ) → HasA
Results from Ascent++: 2
window shutter → HasA → tightness 0.59
window shutter → HasA → big gaps 0.51