Ascent++
Search
Assertion list
root node
(
subgroup
of
node
)
→ ReceivesAction
Results from
Ascent++
:
3
root node
→
ReceivesAction
→
reached
0.63
root node
→
ReceivesAction
→
deleted
0.27
root node
→
ReceivesAction
→
assumed
0.25