Assertion list
thy kingdom (subgroup of kingdom ) → IsA

Results from Ascent++: 1
thy kingdomIsA everlasting kingdom 0.25