Assertion list for term "run until 2028".

Results from Ascent++: 1
contract CapableOfrun until 2028 0.38