Assertion list for term "controlled by the user".
Results from Ascent++: 1
speed (aspect of treadmill) → ReceivesAction → controlled by the user 0.25