Assertion list
atomic clock (primary) → HasProperty
Results from Ascent++: 2
atomic clock → HasProperty → accurate 0.59
atomic clock → HasProperty → stable 0.42