Assertion list for term "open the restrainer door".

Results from Ascent++: 1
rat CapableOfopen the restrainer door 0.47