Assertion: spinning pulsar | /r/HasProperty | well-known
Facets:
value: by the time
type: TEMPORAL
Source sentences:
text: The first millisecond pulsar was discovered in 1982 using radio observations, so they were well-known by the time RXTE launched.