Assertion list
standard model (subgroup of model ) → HasProperty
Results from Ascent++: 3
standard model → HasProperty → correct 0.68
standard model → HasProperty → wrong 0.34
standard model → HasProperty → good 0.33