Assertion list
true church (subgroup of church ) → HasA
Results from Ascent++: 2
true church → HasA → christ 0.63
true church → HasA → true salvation 0.25