Assertion: binary pulsar | /r/HasProperty | j0437-4715
Facets:
Source sentences:
text: Two examples are the binary pulsars J0437-4715 and J1157-5112.