Assertion list for term "obtained for digital input circuits".
Results from Ascent++: 1
logic → ReceivesAction → obtained for digital input circuits 0.32