Assertion list for term "made toward the normalization of relations".
Results from Ascent++: 1
progress → ReceivesAction → made toward the normalization of relations 0.16