Assertion list for term "a first zone boundary".
Results from Ascent++: 1
zone → HasA → a first zone boundary 0.25