Assertion list
elective monarchy (subgroup of monarchy ) → IsA
Results from Ascent++: 1
elective monarchy → IsA → monarchy 0.68