Assertion list
true church (subgroup of church ) → AtLocation

Results from Ascent++: 2
true churchAtLocation the wilderness 0.29
true churchAtLocation heaven 0.16