Assertion list
side (aspect of bottle ) → HasProperty
Results from Ascent++: 2
side → HasProperty → open 0.25
side → HasProperty → yellow 0.25