Assertion list for term "face a fourth".

Results from Ascent++: 1
newton CapableOfface a fourth 0.25