Assertion list
conservation (primary) → HasProperty
Results from Ascent++: 4
conservation → HasProperty → essential 0.55
conservation → HasProperty → complex 0.38
conservation → HasProperty → weak 0.25
conservation → HasProperty → successful 0.16