Ascent++
Search
Assertion list
master
(
aspect
of
slave
)
→ ReceivesAction
Results from
Ascent++
:
1
master
→
ReceivesAction
→
punished
0.25