Assertion list for term "use a kind of universal formula".

Results from Ascent++: 1
evolution CapableOfuse a kind of universal formula 0.27