Assertion list for term "form a semi".

Results from Ascent++: 1
mercury CapableOfform a semi 0.27