Assertion list
access aisle (subgroup of aisle ) → HasProperty
Results from Ascent++: 1
access aisle → HasProperty → flat 0.75