Assertion list for term "lie in part".

Results from Ascent++: 1
explanation CapableOflie in part 0.29