Assertion list
history (aspect of division ) → ReceivesAction
Results from Ascent++: 6
history → ReceivesAction → traced 0.68
history → ReceivesAction → documented 0.58
history → ReceivesAction → written 0.52
history → ReceivesAction → made 0.25
history → ReceivesAction → rewritten 0.25
history → ReceivesAction → lost 0.19