Assertion list for term "the only king".

Results from Ascent++: 1
sage HasPropertythe only king 0.35