Assertion list for term "short pendulums".

Results from Ascent++: 1
clock HasAshort pendulums 0.40