Assertion list
use (aspect of lithium ) → ReceivesAction
Results from Ascent++: 3
use → ReceivesAction → permitted 0.33
use → ReceivesAction → abandoned 0.25
use → ReceivesAction → limited 0.25