Assertion list for term "open the half".

Results from Ascent++: 1
run CapableOfopen the half 0.34