pendulum clock subgroup of clock, 3 assertions