Assertion list
davidic covenant (subgroup of covenant ) → HasProperty
Results from Ascent++: 1
davidic covenant → HasProperty → unconditional 0.68