Assertion list
body (aspect of tiger ) → ReceivesAction
Results from Ascent++: 3
body → ReceivesAction → buried 0.59
body → ReceivesAction → tired 0.59
body → ReceivesAction → decomposed 0.16