Assertion list for term "reduced to simple algebraic systems".
Results from Ascent++: 1
logic → ReceivesAction → reduced to simple algebraic systems 0.16