Ascent++
Search
Assertion list
input
(
aspect
of
latch
)
→ CapableOf
Results from
Ascent++
:
1
input
→
CapableOf
→
latch 10
0.63