Assertion list
cold front (primary) → HasProperty
Results from Ascent++: 3
cold front → HasProperty → more frequent 0.25
cold front → HasProperty → strong 0.25
cold front → HasProperty → weaker 0.25