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