Assertion: pulsar | /r/HasProperty | designated as psr j0737−3039a
Facets:
Source sentences:
text: The two pulsars are designated as PSR J0737−3039A and PSR J0737−3039B.