Assertion list for term "correspond to the ordering system".

Results from Ascent++: 1
diagram CapableOfcorrespond to the ordering system 0.25