Assertion list for term "a/2".
Results from Ascent++: 1
envelope → HasA → a/2 0.25