Assertion list
summer solstice (primary) → HasProperty
Results from Ascent++: 2
summer solstice → HasProperty → hot 0.38
summer solstice → HasProperty → significant 0.26