Assertion list for term "time observation".

Results from Ascent++: 1
pulsar CapableOftime observation 0.25