Assertion list for term "required to implement two basic functions".
Results from Ascent++: 1
inductor → ReceivesAction → required to implement two basic functions 0.25