Assertion list for term "expensive atomic clock".

Results from Ascent++: 1
satellite HasAexpensive atomic clock 0.41