Assertion list for term "begin at lot k".

Results from Ascent++: 1
parade CapableOfbegin at lot k 0.25