Assertion list for term "stay inside the machine".

Results from Ascent++: 1
pulp CapableOfstay inside the machine 0.25