Assertion list
application (aspect of diode ) → ReceivesAction
Results from Ascent++: 2
application → ReceivesAction → incorporated by reference 0.46
application → ReceivesAction → based 0.25