Assertion: volcano's crater | /r/HasProperty | formed in the explosion
Facets:
Source sentences:
text: The new crater formed in the explosion was informally named "Overlook Crater" by Hawaiian Volcano Observatory staff.
text: These craters, known as maars, are formed by explosions caused by hot magma coming in contact with cold groundwater.
text: Following this event, the new crater formed in the explosion, informally named the "Overlook Crater," emitted a thick gas plume that obscured views into the vent.