Assertion list for term "open latch".
Results from Ascent++: 1
command → CapableOf → open latch 0.25