Assertion list
supernova (primary) → HasA
Results from Ascent++: 3
supernova → HasA → one main light-curve peak 0.41
supernova → HasA → plateau 0.41
supernova → HasA → earth 0.34