Assertion list
mecca (primary) → HasProperty
Results from Ascent++: 2
mecca → HasProperty → important 0.31
mecca → HasProperty → obligatory 0.25