Ascent++
Search
Assertion list
initial state
(
subgroup
of
state
)
→ CapableOf
Results from
Ascent++
:
2
initial state
→
CapableOf
→
satisfy the preconditions of an…
0.69
initial state
→
CapableOf
→
remain in erased state
0.25