Assertion list for term "made in term".
Results from Ascent++: 2
change → ReceivesAction → made in term 0.53
progress → ReceivesAction → made in term 0.33