Assertion list for term "expired for more than five years".

Results from Ascent++: 1
proof CapableOfexpired for more than five years 0.16