Assertion list
kinetic friction (subgroup of friction ) → ReceivesAction

Results from Ascent++: 1
kinetic frictionReceivesAction independent of sliding velocity 0.68