Assertion list for term "make theory".

Results from Ascent++: 1
bat CapableOfmake theory 0.40