Assertion list for term "open to wall".

Results from Ascent++: 1
door CapableOfopen to wall 0.36