Assertion list
universal church (subgroup of church ) → HasProperty
Results from Ascent++: 2
universal church → HasProperty → invisible 0.36
universal church → HasProperty → visible 0.30