Assertion list
falsification (primary) → HasProperty
Results from Ascent++: 4
falsification → HasProperty → impossible 0.29
falsification → HasProperty → difficult 0.25
falsification → HasProperty → intentional 0.25
falsification → HasProperty → immaterial 0.16