Assertion list for term "start with lie".

Results from Ascent++: 1
sin CapableOfstart with lie 0.32