Assertion list
data model (subgroup of model ) → HasProperty
Results from Ascent++: 4
data model → HasProperty → consistent 0.58
data model → HasProperty → simple 0.45
data model → HasProperty → complete 0.25
data model → HasProperty → complex 0.16