Assertion list for term "represent thirteen original states".

Results from Ascent++: 1
eagle CapableOfrepresent thirteen original states 0.25