Assertion list for term "use one of the formulas".

Results from Ascent++: 1
priest CapableOfuse one of the formulas 0.33