Assertion list for term "closed open".

Results from Ascent++: 2
door ReceivesActionclosed open 0.47
valve ReceivesActionclosed open 0.41