Assertion: star's core | /r/HasProperty | compressed
Facets:
value: during a supernova
type: TEMPORAL
Source sentences:
text: The events leading to the formation of a pulsar begin when the core of a massive star is compressed during a supernova, which collapses into a neutron star.