Assertion list for term "close each door".

Results from Ascent++: 1
guard CapableOfclose each door 0.25