Assertion list for term "proceed to 214".

Results from Ascent++: 1
logic CapableOfproceed to 214 0.28