Assertion list for term "stop inside the body".

Results from Ascent++: 1
proton CapableOfstop inside the body 0.48