Assertion list
catholic dogma (subgroup of dogma ) → HasProperty
Results from Ascent++: 1
catholic dogma → HasProperty → irreconcilable 0.59