Assertion list for term "refer in the order".

Results from Ascent++: 2
term (aspect of contract) CapableOfrefer in the order 0.56
condition CapableOfrefer in the order 0.42