Assertion list
true god (subgroup of god ) → HasA
Results from Ascent++: 2
true god → HasA → power 0.30
true god → HasA → one true book 0.25