Assertion list
true church (subgroup of church ) → AtLocation
Results from Ascent++: 2
true church → AtLocation → the wilderness 0.29
true church → AtLocation → heaven 0.16