Assertion list for term "the lowest z value".

Results from Ascent++: 1
envelope HasAthe lowest z value 0.25