Assertion list
caliphate (primary) → HasProperty
Results from Ascent++: 1
caliphate → HasProperty → central 0.25