"His Majesty" meaning in All languages combined

See His Majesty on Wiktionary

Pronoun [English]

Head templates: {{head|en|pronoun|||||||||||||||||||head=His Majesty}} His Majesty, {{en-pron|head=His Majesty}} His Majesty
  1. (formal) A title of respect used when referring to a king. Tags: formal Translations (title of respect used when referring to a king): Əlahəzrət (Azerbaijani), Jeho Veličenstvo [masculine] (Czech), Hans Majestæt (Danish), Zijne Majesteit (Dutch), Tema Majesteet (Estonian), Hänen Majesteettinsa (Finnish), Sa Majesté [feminine] (French), Seine Majestät [feminine] (German), Μεγαλειότατος (Megaleiótatos) [masculine] (Greek), Αυτού Μεγαλειότητα (Aftoú Megaleiótita) (Greek), Sua Maestà (Italian), ព្រះករុណា (preah kənaa) (Khmer), ព្រះឱង្ការ (preah aongkaa) (Khmer), rex (Latin), Kebawah Duli Yang Maha Mulia (Malay), baginda (Malay), Hans Majestet (Norwegian), Jego Królewska Mość (Polish), Sua Majestade (Portuguese), Majestatea Sa (Romanian), Его́ Вели́чество (Jevó Velíčestvo) [neuter] (Russian), महाराजा (mahārājā) [masculine] (Sanskrit), राजादि (rājādi) [masculine] (Sanskrit), राज गंभीर (rāja gaṃbhīra) (Sanskrit), राज मार्थाण्ड (rāja mārthāṇḍa) [masculine] (Sanskrit), राजन् (rājan) [masculine] (Sanskrit), Su Majestad (Spanish), Hans Majestät (Swedish), himayedal (Volapük), Ei Fawrhydi (Welsh)
    Sense id: en-His_Majesty-en-pron-QGlpjvqg Disambiguation of 'title of respect used when referring to a king': 96 4
  2. (informal, sarcastic) A sarcastic way of referring to any male who is (or is acting) pompous or bossy. Tags: informal, sarcastic Categories (topical): Titles Derived forms: His Majesty's Opposition
    Sense id: en-His_Majesty-en-pron-PEPekdet Disambiguation of Titles: 14 86 Categories (other): English entries with incorrect language header, English entries with topic categories using raw markup, English pronouns, English terms with non-redundant non-automated sortkeys Disambiguation of English entries with incorrect language header: 7 93 Disambiguation of English entries with topic categories using raw markup: 8 92 Disambiguation of English pronouns: 18 82 Disambiguation of English terms with non-redundant non-automated sortkeys: 7 93 Related terms: Third person (english: Her) [feminine], Third person (english: His) [masculine], Second person (english: Your), Third person (english: Their) [plural], Her Britannic Majesty, His Britannic Majesty, Your Britannic Majesty, Her Excellency, His Excellency, Your Excellency, Her Highness, His Highness, Your Highness, Her Imperial Highness, His Imperial Highness, Your Imperial Highness, Her Imperial Majesty, His Imperial Majesty, Your Imperial Majesty, Her Maj, His Maj, Your Maj, Her Majesty, Your Majesty, Their Majesties, Her Royal Highness, His Royal Highness, Your Royal Highness, Their Royal Highnesses, Her Royal Majesty, His Royal Majesty, Your Royal Majesty

Alternative forms

Download JSON data for His Majesty meaning in All languages combined (8.3kB)

{
  "head_templates": [
    {
      "args": {
        "1": "en",
        "10": "",
        "11": "",
        "12": "",
        "13": "",
        "14": "",
        "15": "",
        "16": "",
        "17": "",
        "18": "",
        "19": "",
        "2": "pronoun",
        "20": "",
        "3": "",
        "4": "",
        "5": "",
        "6": "",
        "7": "",
        "8": "",
        "9": "",
        "head": "His Majesty"
      },
      "expansion": "His Majesty",
      "name": "head"
    },
    {
      "args": {
        "head": "His Majesty"
      },
      "expansion": "His Majesty",
      "name": "en-pron"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "pron",
  "senses": [
    {
      "categories": [],
      "glosses": [
        "A title of respect used when referring to a king."
      ],
      "id": "en-His_Majesty-en-pron-QGlpjvqg",
      "links": [
        [
          "king",
          "king"
        ]
      ],
      "raw_glosses": [
        "(formal) A title of respect used when referring to a king."
      ],
      "tags": [
        "formal"
      ],
      "translations": [
        {
          "_dis1": "96 4",
          "code": "az",
          "lang": "Azerbaijani",
          "sense": "title of respect used when referring to a king",
          "word": "Əlahəzrət"
        },
        {
          "_dis1": "96 4",
          "code": "cs",
          "lang": "Czech",
          "sense": "title of respect used when referring to a king",
          "tags": [
            "masculine"
          ],
          "word": "Jeho Veličenstvo"
        },
        {
          "_dis1": "96 4",
          "code": "da",
          "lang": "Danish",
          "sense": "title of respect used when referring to a king",
          "word": "Hans Majestæt"
        },
        {
          "_dis1": "96 4",
          "code": "nl",
          "lang": "Dutch",
          "sense": "title of respect used when referring to a king",
          "word": "Zijne Majesteit"
        },
        {
          "_dis1": "96 4",
          "code": "et",
          "lang": "Estonian",
          "sense": "title of respect used when referring to a king",
          "word": "Tema Majesteet"
        },
        {
          "_dis1": "96 4",
          "code": "fi",
          "lang": "Finnish",
          "sense": "title of respect used when referring to a king",
          "word": "Hänen Majesteettinsa"
        },
        {
          "_dis1": "96 4",
          "code": "fr",
          "lang": "French",
          "sense": "title of respect used when referring to a king",
          "tags": [
            "feminine"
          ],
          "word": "Sa Majesté"
        },
        {
          "_dis1": "96 4",
          "code": "de",
          "lang": "German",
          "sense": "title of respect used when referring to a king",
          "tags": [
            "feminine"
          ],
          "word": "Seine Majestät"
        },
        {
          "_dis1": "96 4",
          "code": "el",
          "lang": "Greek",
          "roman": "Megaleiótatos",
          "sense": "title of respect used when referring to a king",
          "tags": [
            "masculine"
          ],
          "word": "Μεγαλειότατος"
        },
        {
          "_dis1": "96 4",
          "code": "el",
          "lang": "Greek",
          "roman": "Aftoú Megaleiótita",
          "sense": "title of respect used when referring to a king",
          "word": "Αυτού Μεγαλειότητα"
        },
        {
          "_dis1": "96 4",
          "code": "it",
          "lang": "Italian",
          "sense": "title of respect used when referring to a king",
          "word": "Sua Maestà"
        },
        {
          "_dis1": "96 4",
          "code": "km",
          "lang": "Khmer",
          "roman": "preah kənaa",
          "sense": "title of respect used when referring to a king",
          "word": "ព្រះករុណា"
        },
        {
          "_dis1": "96 4",
          "code": "km",
          "lang": "Khmer",
          "roman": "preah aongkaa",
          "sense": "title of respect used when referring to a king",
          "word": "ព្រះឱង្ការ"
        },
        {
          "_dis1": "96 4",
          "code": "la",
          "lang": "Latin",
          "sense": "title of respect used when referring to a king",
          "word": "rex"
        },
        {
          "_dis1": "96 4",
          "code": "ms",
          "lang": "Malay",
          "sense": "title of respect used when referring to a king",
          "word": "Kebawah Duli Yang Maha Mulia"
        },
        {
          "_dis1": "96 4",
          "code": "ms",
          "lang": "Malay",
          "sense": "title of respect used when referring to a king",
          "word": "baginda"
        },
        {
          "_dis1": "96 4",
          "code": "no",
          "lang": "Norwegian",
          "sense": "title of respect used when referring to a king",
          "word": "Hans Majestet"
        },
        {
          "_dis1": "96 4",
          "code": "pl",
          "lang": "Polish",
          "sense": "title of respect used when referring to a king",
          "word": "Jego Królewska Mość"
        },
        {
          "_dis1": "96 4",
          "code": "pt",
          "lang": "Portuguese",
          "sense": "title of respect used when referring to a king",
          "word": "Sua Majestade"
        },
        {
          "_dis1": "96 4",
          "code": "ro",
          "lang": "Romanian",
          "sense": "title of respect used when referring to a king",
          "word": "Majestatea Sa"
        },
        {
          "_dis1": "96 4",
          "code": "ru",
          "lang": "Russian",
          "roman": "Jevó Velíčestvo",
          "sense": "title of respect used when referring to a king",
          "tags": [
            "neuter"
          ],
          "word": "Его́ Вели́чество"
        },
        {
          "_dis1": "96 4",
          "code": "sa",
          "lang": "Sanskrit",
          "roman": "mahārājā",
          "sense": "title of respect used when referring to a king",
          "tags": [
            "masculine"
          ],
          "word": "महाराजा"
        },
        {
          "_dis1": "96 4",
          "code": "sa",
          "lang": "Sanskrit",
          "roman": "rājādi",
          "sense": "title of respect used when referring to a king",
          "tags": [
            "masculine"
          ],
          "word": "राजादि"
        },
        {
          "_dis1": "96 4",
          "code": "sa",
          "lang": "Sanskrit",
          "roman": "rāja gaṃbhīra",
          "sense": "title of respect used when referring to a king",
          "word": "राज गंभीर"
        },
        {
          "_dis1": "96 4",
          "code": "sa",
          "lang": "Sanskrit",
          "roman": "rāja mārthāṇḍa",
          "sense": "title of respect used when referring to a king",
          "tags": [
            "masculine"
          ],
          "word": "राज मार्थाण्ड"
        },
        {
          "_dis1": "96 4",
          "code": "sa",
          "lang": "Sanskrit",
          "roman": "rājan",
          "sense": "title of respect used when referring to a king",
          "tags": [
            "masculine"
          ],
          "word": "राजन्"
        },
        {
          "_dis1": "96 4",
          "code": "es",
          "lang": "Spanish",
          "sense": "title of respect used when referring to a king",
          "word": "Su Majestad"
        },
        {
          "_dis1": "96 4",
          "code": "sv",
          "lang": "Swedish",
          "sense": "title of respect used when referring to a king",
          "word": "Hans Majestät"
        },
        {
          "_dis1": "96 4",
          "code": "vo",
          "lang": "Volapük",
          "sense": "title of respect used when referring to a king",
          "word": "himayedal"
        },
        {
          "_dis1": "96 4",
          "code": "cy",
          "lang": "Welsh",
          "sense": "title of respect used when referring to a king",
          "word": "Ei Fawrhydi"
        }
      ]
    },
    {
      "categories": [
        {
          "_dis": "7 93",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "8 92",
          "kind": "other",
          "name": "English entries with topic categories using raw markup",
          "parents": [
            "Entries with topic categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "18 82",
          "kind": "other",
          "name": "English pronouns",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "7 93",
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "14 86",
          "kind": "topical",
          "langcode": "en",
          "name": "Titles",
          "orig": "en:Titles",
          "parents": [
            "People",
            "Human",
            "All topics",
            "Fundamental"
          ],
          "source": "w+disamb"
        }
      ],
      "derived": [
        {
          "_dis1": "22 78",
          "word": "His Majesty's Opposition"
        }
      ],
      "glosses": [
        "A sarcastic way of referring to any male who is (or is acting) pompous or bossy."
      ],
      "id": "en-His_Majesty-en-pron-PEPekdet",
      "links": [
        [
          "sarcastic",
          "sarcastic"
        ],
        [
          "pompous",
          "pompous"
        ],
        [
          "bossy",
          "bossy"
        ]
      ],
      "raw_glosses": [
        "(informal, sarcastic) A sarcastic way of referring to any male who is (or is acting) pompous or bossy."
      ],
      "related": [
        {
          "_dis1": "22 78",
          "english": "Her",
          "tags": [
            "feminine"
          ],
          "word": "Third person"
        },
        {
          "_dis1": "22 78",
          "english": "His",
          "tags": [
            "masculine"
          ],
          "word": "Third person"
        },
        {
          "_dis1": "22 78",
          "english": "Your",
          "word": "Second person"
        },
        {
          "_dis1": "22 78",
          "english": "Their",
          "tags": [
            "plural"
          ],
          "word": "Third person"
        },
        {
          "_dis1": "22 78",
          "word": "Her Britannic Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "His Britannic Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "Your Britannic Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "Her Excellency"
        },
        {
          "_dis1": "22 78",
          "word": "His Excellency"
        },
        {
          "_dis1": "22 78",
          "word": "Your Excellency"
        },
        {
          "_dis1": "22 78",
          "word": "Her Highness"
        },
        {
          "_dis1": "22 78",
          "word": "His Highness"
        },
        {
          "_dis1": "22 78",
          "word": "Your Highness"
        },
        {
          "_dis1": "22 78",
          "word": "Her Imperial Highness"
        },
        {
          "_dis1": "22 78",
          "word": "His Imperial Highness"
        },
        {
          "_dis1": "22 78",
          "word": "Your Imperial Highness"
        },
        {
          "_dis1": "22 78",
          "word": "Her Imperial Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "His Imperial Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "Your Imperial Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "Her Maj"
        },
        {
          "_dis1": "22 78",
          "word": "His Maj"
        },
        {
          "_dis1": "22 78",
          "word": "Your Maj"
        },
        {
          "_dis1": "22 78",
          "word": "Her Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "Your Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "Their Majesties"
        },
        {
          "_dis1": "22 78",
          "word": "Her Royal Highness"
        },
        {
          "_dis1": "22 78",
          "word": "His Royal Highness"
        },
        {
          "_dis1": "22 78",
          "word": "Your Royal Highness"
        },
        {
          "_dis1": "22 78",
          "word": "Their Royal Highnesses"
        },
        {
          "_dis1": "22 78",
          "word": "Her Royal Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "His Royal Majesty"
        },
        {
          "_dis1": "22 78",
          "word": "Your Royal Majesty"
        }
      ],
      "tags": [
        "informal",
        "sarcastic"
      ]
    }
  ],
  "word": "His Majesty"
}
{
  "categories": [
    "English entries with incorrect language header",
    "English entries with topic categories using raw markup",
    "English lemmas",
    "English multiword terms",
    "English pronouns",
    "English terms with non-redundant non-automated sortkeys",
    "en:Titles"
  ],
  "derived": [
    {
      "word": "His Majesty's Opposition"
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "en",
        "10": "",
        "11": "",
        "12": "",
        "13": "",
        "14": "",
        "15": "",
        "16": "",
        "17": "",
        "18": "",
        "19": "",
        "2": "pronoun",
        "20": "",
        "3": "",
        "4": "",
        "5": "",
        "6": "",
        "7": "",
        "8": "",
        "9": "",
        "head": "His Majesty"
      },
      "expansion": "His Majesty",
      "name": "head"
    },
    {
      "args": {
        "head": "His Majesty"
      },
      "expansion": "His Majesty",
      "name": "en-pron"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "pron",
  "related": [
    {
      "english": "Her",
      "tags": [
        "feminine"
      ],
      "word": "Third person"
    },
    {
      "english": "His",
      "tags": [
        "masculine"
      ],
      "word": "Third person"
    },
    {
      "english": "Your",
      "word": "Second person"
    },
    {
      "english": "Their",
      "tags": [
        "plural"
      ],
      "word": "Third person"
    },
    {
      "word": "Her Britannic Majesty"
    },
    {
      "word": "His Britannic Majesty"
    },
    {
      "word": "Your Britannic Majesty"
    },
    {
      "word": "Her Excellency"
    },
    {
      "word": "His Excellency"
    },
    {
      "word": "Your Excellency"
    },
    {
      "word": "Her Highness"
    },
    {
      "word": "His Highness"
    },
    {
      "word": "Your Highness"
    },
    {
      "word": "Her Imperial Highness"
    },
    {
      "word": "His Imperial Highness"
    },
    {
      "word": "Your Imperial Highness"
    },
    {
      "word": "Her Imperial Majesty"
    },
    {
      "word": "His Imperial Majesty"
    },
    {
      "word": "Your Imperial Majesty"
    },
    {
      "word": "Her Maj"
    },
    {
      "word": "His Maj"
    },
    {
      "word": "Your Maj"
    },
    {
      "word": "Her Majesty"
    },
    {
      "word": "Your Majesty"
    },
    {
      "word": "Their Majesties"
    },
    {
      "word": "Her Royal Highness"
    },
    {
      "word": "His Royal Highness"
    },
    {
      "word": "Your Royal Highness"
    },
    {
      "word": "Their Royal Highnesses"
    },
    {
      "word": "Her Royal Majesty"
    },
    {
      "word": "His Royal Majesty"
    },
    {
      "word": "Your Royal Majesty"
    }
  ],
  "senses": [
    {
      "categories": [
        "English formal terms"
      ],
      "glosses": [
        "A title of respect used when referring to a king."
      ],
      "links": [
        [
          "king",
          "king"
        ]
      ],
      "raw_glosses": [
        "(formal) A title of respect used when referring to a king."
      ],
      "tags": [
        "formal"
      ]
    },
    {
      "categories": [
        "English informal terms",
        "English sarcastic terms"
      ],
      "glosses": [
        "A sarcastic way of referring to any male who is (or is acting) pompous or bossy."
      ],
      "links": [
        [
          "sarcastic",
          "sarcastic"
        ],
        [
          "pompous",
          "pompous"
        ],
        [
          "bossy",
          "bossy"
        ]
      ],
      "raw_glosses": [
        "(informal, sarcastic) A sarcastic way of referring to any male who is (or is acting) pompous or bossy."
      ],
      "tags": [
        "informal",
        "sarcastic"
      ]
    }
  ],
  "translations": [
    {
      "code": "az",
      "lang": "Azerbaijani",
      "sense": "title of respect used when referring to a king",
      "word": "Əlahəzrət"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "title of respect used when referring to a king",
      "tags": [
        "masculine"
      ],
      "word": "Jeho Veličenstvo"
    },
    {
      "code": "da",
      "lang": "Danish",
      "sense": "title of respect used when referring to a king",
      "word": "Hans Majestæt"
    },
    {
      "code": "nl",
      "lang": "Dutch",
      "sense": "title of respect used when referring to a king",
      "word": "Zijne Majesteit"
    },
    {
      "code": "et",
      "lang": "Estonian",
      "sense": "title of respect used when referring to a king",
      "word": "Tema Majesteet"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "title of respect used when referring to a king",
      "word": "Hänen Majesteettinsa"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "title of respect used when referring to a king",
      "tags": [
        "feminine"
      ],
      "word": "Sa Majesté"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "title of respect used when referring to a king",
      "tags": [
        "feminine"
      ],
      "word": "Seine Majestät"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "Megaleiótatos",
      "sense": "title of respect used when referring to a king",
      "tags": [
        "masculine"
      ],
      "word": "Μεγαλειότατος"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "Aftoú Megaleiótita",
      "sense": "title of respect used when referring to a king",
      "word": "Αυτού Μεγαλειότητα"
    },
    {
      "code": "it",
      "lang": "Italian",
      "sense": "title of respect used when referring to a king",
      "word": "Sua Maestà"
    },
    {
      "code": "km",
      "lang": "Khmer",
      "roman": "preah kənaa",
      "sense": "title of respect used when referring to a king",
      "word": "ព្រះករុណា"
    },
    {
      "code": "km",
      "lang": "Khmer",
      "roman": "preah aongkaa",
      "sense": "title of respect used when referring to a king",
      "word": "ព្រះឱង្ការ"
    },
    {
      "code": "la",
      "lang": "Latin",
      "sense": "title of respect used when referring to a king",
      "word": "rex"
    },
    {
      "code": "ms",
      "lang": "Malay",
      "sense": "title of respect used when referring to a king",
      "word": "Kebawah Duli Yang Maha Mulia"
    },
    {
      "code": "ms",
      "lang": "Malay",
      "sense": "title of respect used when referring to a king",
      "word": "baginda"
    },
    {
      "code": "no",
      "lang": "Norwegian",
      "sense": "title of respect used when referring to a king",
      "word": "Hans Majestet"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "title of respect used when referring to a king",
      "word": "Jego Królewska Mość"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "title of respect used when referring to a king",
      "word": "Sua Majestade"
    },
    {
      "code": "ro",
      "lang": "Romanian",
      "sense": "title of respect used when referring to a king",
      "word": "Majestatea Sa"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "Jevó Velíčestvo",
      "sense": "title of respect used when referring to a king",
      "tags": [
        "neuter"
      ],
      "word": "Его́ Вели́чество"
    },
    {
      "code": "sa",
      "lang": "Sanskrit",
      "roman": "mahārājā",
      "sense": "title of respect used when referring to a king",
      "tags": [
        "masculine"
      ],
      "word": "महाराजा"
    },
    {
      "code": "sa",
      "lang": "Sanskrit",
      "roman": "rājādi",
      "sense": "title of respect used when referring to a king",
      "tags": [
        "masculine"
      ],
      "word": "राजादि"
    },
    {
      "code": "sa",
      "lang": "Sanskrit",
      "roman": "rāja gaṃbhīra",
      "sense": "title of respect used when referring to a king",
      "word": "राज गंभीर"
    },
    {
      "code": "sa",
      "lang": "Sanskrit",
      "roman": "rāja mārthāṇḍa",
      "sense": "title of respect used when referring to a king",
      "tags": [
        "masculine"
      ],
      "word": "राज मार्थाण्ड"
    },
    {
      "code": "sa",
      "lang": "Sanskrit",
      "roman": "rājan",
      "sense": "title of respect used when referring to a king",
      "tags": [
        "masculine"
      ],
      "word": "राजन्"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "title of respect used when referring to a king",
      "word": "Su Majestad"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "sense": "title of respect used when referring to a king",
      "word": "Hans Majestät"
    },
    {
      "code": "vo",
      "lang": "Volapük",
      "sense": "title of respect used when referring to a king",
      "word": "himayedal"
    },
    {
      "code": "cy",
      "lang": "Welsh",
      "sense": "title of respect used when referring to a king",
      "word": "Ei Fawrhydi"
    }
  ],
  "word": "His Majesty"
}

This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-04-26 from the enwiktionary dump dated 2024-04-21 using wiktextract (93a6c53 and 21a9316). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.