Assertion: ionospheric lightning | /r/HasProperty | the name
Facets:
Source sentences:
text: First identified in the late 1980s/early 1990s, ionospheric lightning is the name given to a range of electrical discharges from the top of thunderstorms.