Assertion list
clock (primary) → MotivatedByGoal
Results from Ascent++: 1
clock → MotivatedByGoal → the swedish mora clocks 0.25