Assertion list
foray (primary) → HasProperty
Results from Ascent++: 5
foray → HasProperty → expensive 0.59
foray → HasProperty → fun 0.59
foray → HasProperty → futile 0.59
foray → HasProperty → successful 0.34
foray → HasProperty → few 0.25