Assertion list
window (aspect of tent ) → HasProperty
Results from Ascent++: 5
window → HasProperty → open 0.52
window → HasProperty → large 0.39
window → HasProperty → great 0.34
window → HasProperty → small 0.31
window → HasProperty → opaque 0.25