Assertion list
field day (primary) → HasProperty
Results from Ascent++: 3
field day → HasProperty → open 0.56
field day → HasProperty → free 0.52
field day → HasProperty → fun 0.35