Assertion list
davidic covenant (subgroup of covenant ) → IsA
Results from Ascent++: 2
davidic covenant → IsA → eternal covenant 0.60
davidic covenant → IsA → expansion 0.25