Assertion list
visible church (subgroup of church ) → HasProperty
Results from Ascent++: 1
visible church → HasProperty → catholic 0.42