Assertion list for term "proven again".
Results from Ascent++: 2
history → CapableOf → proven again 0.28
tip → ReceivesAction → proven again 0.26