Assertion: known planet | /r/HasProperty | psr b1257
Facets:
Source sentences:
text: The smallest known planet is PSR B1257+12A, one of the first extrasolar planets discovered, which was found in 1992 in orbit around a pulsar.