Assertion list for term "synchronized to an internet timeserver".
Results from Ascent++: 1
clock → ReceivesAction → synchronized to an internet timeserver 0.27