Assertion list
winter solstice (primary) → IsA
Results from Ascent++: 1
winter solstice → IsA → the summer solstice 0.31