See 三浦 on Wiktionary
{
"head_templates": [
{
"args": {
"1": "zh",
"2": "proper noun"
},
"expansion": "三浦",
"name": "head"
}
],
"lang": "Chinese",
"lang_code": "zh",
"pos": "name",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "Chinese renderings of Japanese surnames",
"parents": [],
"source": "w"
},
{
"_dis": "17 26 26 15 16",
"kind": "other",
"name": "Pages with 2 entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "14 22 22 21 22",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
}
],
"glosses": [
"An orthographic borrowing of the Japanese surname 三浦, Miura"
],
"id": "en-三浦-zh-name-w9FKH2DN",
"links": [
[
"三浦",
"三浦#Japanese"
],
[
"Miura",
"Miura#English"
]
]
},
{
"categories": [
{
"kind": "place",
"langcode": "zh",
"name": "Cities in Japan",
"orig": "zh:Cities in Japan",
"parents": [
"Cities",
"Places"
],
"source": "w"
},
{
"kind": "place",
"langcode": "zh",
"name": "Cities in Kanagawa Prefecture, Japan",
"orig": "zh:Cities in Kanagawa Prefecture, Japan",
"parents": [
"Cities",
"Places"
],
"source": "w"
},
{
"kind": "place",
"langcode": "zh",
"name": "Places in Japan",
"orig": "zh:Places in Japan",
"parents": [
"Places"
],
"source": "w"
},
{
"kind": "place",
"langcode": "zh",
"name": "Places in Kanagawa Prefecture, Japan",
"orig": "zh:Places in Kanagawa Prefecture, Japan",
"parents": [
"Places"
],
"source": "w"
},
{
"_dis": "43 57",
"kind": "other",
"name": "Chinese entries with incorrect language header",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "17 26 26 15 16",
"kind": "other",
"name": "Pages with 2 entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "14 22 22 21 22",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
}
],
"glosses": [
"Miura (a city in Kanagawa Prefecture, Japan)"
],
"id": "en-三浦-zh-name-ZY5jOsK7",
"links": [
[
"市",
"市#Chinese"
],
[
"Miura",
"Miura#English"
],
[
"city",
"city"
],
[
"Kanagawa",
"Kanagawa#English"
],
[
"Japan",
"Japan#English"
]
],
"raw_glosses": [
"(～市) Miura (a city in Kanagawa Prefecture, Japan)"
]
}
],
"sounds": [
{
"tags": [
"Mandarin",
"Pinyin"
],
"zh-pron": "Sānpǔ"
},
{
"tags": [
"Mandarin",
"bopomofo"
],
"zh-pron": "ㄙㄢ ㄆㄨˇ"
},
{
"tags": [
"Cantonese",
"Jyutping"
],
"zh-pron": "saam¹ pou²"
},
{
"tags": [
"Hanyu-Pinyin",
"Mandarin",
"standard"
],
"zh-pron": "Sānpǔ"
},
{
"tags": [
"Mandarin",
"bopomofo",
"standard"
],
"zh-pron": "ㄙㄢ ㄆㄨˇ"
},
{
"tags": [
"Mandarin",
"Tongyong-Pinyin",
"standard"
],
"zh-pron": "Sanpǔ"
},
{
"tags": [
"Mandarin",
"Wade-Giles",
"standard"
],
"zh-pron": "San¹-pʻu³"
},
{
"tags": [
"Mandarin",
"Yale",
"standard"
],
"zh-pron": "Sān-pǔ"
},
{
"tags": [
"Gwoyeu-Romatsyh",
"Mandarin",
"standard"
],
"zh-pron": "Sanpuu"
},
{
"tags": [
"Mandarin",
"Palladius",
"standard"
],
"zh-pron": "Саньпу"
},
{
"tags": [
"Mandarin",
"Palladius",
"standard"
],
"zh-pron": "Sanʹpu"
},
{
"ipa": "/sän⁵⁵ pʰu²¹⁴⁻²¹⁽⁴⁾/",
"tags": [
"Mandarin",
"Sinological-IPA",
"standard"
]
},
{
"tags": [
"Cantonese",
"Yale"
],
"zh-pron": "sāam póu"
},
{
"tags": [
"Cantonese",
"Pinyin"
],
"zh-pron": "saam¹ pou²"
},
{
"tags": [
"Cantonese",
"Guangdong-Romanization"
],
"zh-pron": "sam¹ pou²"
},
{
"ipa": "/saːm⁵⁵ pʰou̯³⁵/",
"tags": [
"Cantonese",
"Sinological-IPA"
]
},
{
"ipa": "/sän⁵⁵ pʰu²¹⁴⁻²¹⁽⁴⁾/"
},
{
"ipa": "/saːm⁵⁵ pʰou̯³⁵/"
}
],
"word": "三浦"
}
{
"etymology_templates": [
{
"args": {
"1": "ja",
"2": "三",
"3": "浦",
"sort": "みうら",
"t1": "three",
"t2": "inlet, bay",
"tr1": "mi; san",
"tr2": "ura; ho"
},
"expansion": "三 (mi; san, “three”) + 浦 (ura; ho, “inlet, bay”)",
"name": "compound"
}
],
"etymology_text": "Compound of 三 (mi; san, “three”) + 浦 (ura; ho, “inlet, bay”).",
"forms": [
{
"form": "三浦",
"ruby": [
[
"三",
"み"
],
[
"浦",
"うら"
]
],
"tags": [
"canonical"
]
},
{
"form": "Miura",
"tags": [
"romanization"
]
}
],
"head_templates": [
{
"args": {
"1": "proper",
"2": "みうら"
},
"expansion": "三(み)浦(うら) • (Miura)",
"name": "ja-pos"
}
],
"lang": "Japanese",
"lang_code": "ja",
"pos": "name",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English links with redundant wikilinks",
"parents": [],
"source": "w"
},
{
"kind": "place",
"langcode": "ja",
"name": "Cities in Japan",
"orig": "ja:Cities in Japan",
"parents": [
"Cities",
"Places"
],
"source": "w"
},
{
"kind": "place",
"langcode": "ja",
"name": "Cities in Kanagawa Prefecture, Japan",
"orig": "ja:Cities in Kanagawa Prefecture, Japan",
"parents": [
"Cities",
"Places"
],
"source": "w"
},
{
"kind": "place",
"langcode": "ja",
"name": "Places in Japan",
"orig": "ja:Places in Japan",
"parents": [
"Places"
],
"source": "w"
},
{
"kind": "place",
"langcode": "ja",
"name": "Places in Kanagawa Prefecture, Japan",
"orig": "ja:Places in Kanagawa Prefecture, Japan",
"parents": [
"Places"
],
"source": "w"
},
{
"_dis": "17 26 26 15 16",
"kind": "other",
"name": "Pages with 2 entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "14 22 22 21 22",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 34 38",
"kind": "other",
"name": "Japanese terms with non-redundant non-automated sortkeys",
"parents": [],
"source": "w+disamb"
}
],
"glosses": [
"Miura (a city in Kanagawa Prefecture, Japan)"
],
"id": "en-三浦-ja-name-ZY5jOsK7",
"links": [
[
"Miura",
"w:Miura, Kanagawa"
],
[
"city",
"city"
],
[
"Kanagawa",
"Kanagawa#English"
],
[
"Japan",
"Japan#English"
]
]
},
{
"categories": [
{
"kind": "other",
"name": "Japanese surnames",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Japanese terms with non-redundant non-automated sortkeys",
"parents": [],
"source": "w"
},
{
"_dis": "17 26 26 15 16",
"kind": "other",
"name": "Pages with 2 entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "14 22 22 21 22",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "40 60",
"kind": "other",
"name": "Japanese terms read with kun'yomi",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 34 38",
"kind": "other",
"name": "Japanese terms with non-redundant non-automated sortkeys",
"parents": [],
"source": "w+disamb"
}
],
"glosses": [
"a locational surname"
],
"id": "en-三浦-ja-name-Z~cuZeDH",
"links": [
[
"surname",
"surname"
]
]
}
],
"sounds": [
{
"other": "みうら"
},
{
"ipa": "[mʲiɯ̟ɾa̠]"
}
],
"wikipedia": [
"ja:三浦"
],
"word": "三浦"
}
{
"etymology_templates": [
{
"args": {
"1": "ja",
"2": "三",
"3": "浦",
"sort": "みうら",
"t1": "three",
"t2": "inlet, bay",
"tr1": "mi; san",
"tr2": "ura; ho"
},
"expansion": "三 (mi; san, “three”) + 浦 (ura; ho, “inlet, bay”)",
"name": "compound"
}
],
"etymology_text": "Compound of 三 (mi; san, “three”) + 浦 (ura; ho, “inlet, bay”).",
"forms": [
{
"form": "三浦",
"ruby": [
[
"三",
"さん"
],
[
"浦",
"ぽ"
]
],
"tags": [
"canonical"
]
},
{
"form": "Sanpo",
"tags": [
"romanization"
]
}
],
"head_templates": [
{
"args": {
"1": "proper",
"2": "さんぽ"
},
"expansion": "三(さん)浦(ぽ) • (Sanpo)",
"name": "ja-pos"
}
],
"lang": "Japanese",
"lang_code": "ja",
"pos": "name",
"senses": [
{
"categories": [
{
"_dis": "17 26 26 15 16",
"kind": "other",
"name": "Pages with 2 entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "14 22 22 21 22",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "30 29 41",
"kind": "other",
"name": "Japanese entries with incorrect language header",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "32 29 40",
"kind": "other",
"name": "Japanese links with redundant alt parameters",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "31 30 39",
"kind": "other",
"name": "Japanese links with redundant wikilinks",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "22 33 44",
"kind": "other",
"name": "Japanese terms read with on'yomi",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "23 33 44",
"kind": "other",
"name": "Japanese terms with 2 kanji",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "30 31 39",
"kind": "other",
"name": "Japanese terms with multiple readings",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "28 34 38",
"kind": "other",
"name": "Japanese terms with non-redundant non-automated sortkeys",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "30 31 39",
"kind": "other",
"name": "Japanese terms with redundant sortkeys",
"parents": [],
"source": "w+disamb"
}
],
"examples": [
{
"english": "Disturbance of the Three Ports",
"roman": "Sanpo no Ran",
"ruby": [
[
"三",
"さん"
],
[
"浦",
"ぽ"
],
[
"乱",
"らん"
]
],
"text": "三浦の乱"
}
],
"glosses": [
"three trading ports opened to Japan during the Joseon Dynasty, namely 薺(せい)浦(ほ) (Seiho), 富(ふ)山(ざん)浦(ぽ) (Fuzanpo) and 塩(えん)浦(ぽ) (Enpo)"
],
"id": "en-三浦-ja-name-xK1gEBF1",
"links": [
[
"Joseon",
"Joseon"
],
[
"薺(せい)浦(ほ)",
"薺浦#Japanese"
],
[
"富(ふ)山(ざん)浦(ぽ)",
"富山浦#Japanese"
],
[
"塩(えん)浦(ぽ)",
"塩浦#Japanese"
]
],
"raw_glosses": [
"(historical) three trading ports opened to Japan during the Joseon Dynasty, namely 薺(せい)浦(ほ) (Seiho), 富(ふ)山(ざん)浦(ぽ) (Fuzanpo) and 塩(えん)浦(ぽ) (Enpo)"
],
"tags": [
"historical"
]
}
],
"sounds": [
{
"other": "さんぽ"
},
{
"other": "さんぽ"
},
{
"ipa": "[sã̠mpo̞]"
}
],
"wikipedia": [
"ja:三浦"
],
"word": "三浦"
}
{
"categories": [
"Chinese entries with incorrect language header",
"Chinese lemmas",
"Chinese proper nouns",
"Chinese terms spelled with 三",
"Chinese terms spelled with 浦",
"Chinese terms with IPA pronunciation",
"Pages with 2 entries",
"Pages with entries"
],
"head_templates": [
{
"args": {
"1": "zh",
"2": "proper noun"
},
"expansion": "三浦",
"name": "head"
}
],
"lang": "Chinese",
"lang_code": "zh",
"pos": "name",
"senses": [
{
"categories": [
"Chinese orthographic borrowings from Japanese",
"Chinese renderings of Japanese surnames",
"Chinese terms borrowed from Japanese",
"Chinese terms derived from Japanese"
],
"glosses": [
"An orthographic borrowing of the Japanese surname 三浦, Miura"
],
"links": [
[
"三浦",
"三浦#Japanese"
],
[
"Miura",
"Miura#English"
]
]
},
{
"categories": [
"zh:Cities in Japan",
"zh:Cities in Kanagawa Prefecture, Japan",
"zh:Places in Japan",
"zh:Places in Kanagawa Prefecture, Japan"
],
"glosses": [
"Miura (a city in Kanagawa Prefecture, Japan)"
],
"links": [
[
"市",
"市#Chinese"
],
[
"Miura",
"Miura#English"
],
[
"city",
"city"
],
[
"Kanagawa",
"Kanagawa#English"
],
[
"Japan",
"Japan#English"
]
],
"raw_glosses": [
"(～市) Miura (a city in Kanagawa Prefecture, Japan)"
]
}
],
"sounds": [
{
"tags": [
"Mandarin",
"Pinyin"
],
"zh-pron": "Sānpǔ"
},
{
"tags": [
"Mandarin",
"bopomofo"
],
"zh-pron": "ㄙㄢ ㄆㄨˇ"
},
{
"tags": [
"Cantonese",
"Jyutping"
],
"zh-pron": "saam¹ pou²"
},
{
"tags": [
"Hanyu-Pinyin",
"Mandarin",
"standard"
],
"zh-pron": "Sānpǔ"
},
{
"tags": [
"Mandarin",
"bopomofo",
"standard"
],
"zh-pron": "ㄙㄢ ㄆㄨˇ"
},
{
"tags": [
"Mandarin",
"Tongyong-Pinyin",
"standard"
],
"zh-pron": "Sanpǔ"
},
{
"tags": [
"Mandarin",
"Wade-Giles",
"standard"
],
"zh-pron": "San¹-pʻu³"
},
{
"tags": [
"Mandarin",
"Yale",
"standard"
],
"zh-pron": "Sān-pǔ"
},
{
"tags": [
"Gwoyeu-Romatsyh",
"Mandarin",
"standard"
],
"zh-pron": "Sanpuu"
},
{
"tags": [
"Mandarin",
"Palladius",
"standard"
],
"zh-pron": "Саньпу"
},
{
"tags": [
"Mandarin",
"Palladius",
"standard"
],
"zh-pron": "Sanʹpu"
},
{
"ipa": "/sän⁵⁵ pʰu²¹⁴⁻²¹⁽⁴⁾/",
"tags": [
"Mandarin",
"Sinological-IPA",
"standard"
]
},
{
"tags": [
"Cantonese",
"Yale"
],
"zh-pron": "sāam póu"
},
{
"tags": [
"Cantonese",
"Pinyin"
],
"zh-pron": "saam¹ pou²"
},
{
"tags": [
"Cantonese",
"Guangdong-Romanization"
],
"zh-pron": "sam¹ pou²"
},
{
"ipa": "/saːm⁵⁵ pʰou̯³⁵/",
"tags": [
"Cantonese",
"Sinological-IPA"
]
},
{
"ipa": "/sän⁵⁵ pʰu²¹⁴⁻²¹⁽⁴⁾/"
},
{
"ipa": "/saːm⁵⁵ pʰou̯³⁵/"
}
],
"word": "三浦"
}
{
"categories": [
"Japanese compound terms",
"Japanese entries with incorrect language header",
"Japanese lemmas",
"Japanese links with redundant alt parameters",
"Japanese links with redundant wikilinks",
"Japanese proper nouns",
"Japanese terms read with kun'yomi",
"Japanese terms read with on'yomi",
"Japanese terms spelled with first grade kanji",
"Japanese terms spelled with secondary school kanji",
"Japanese terms spelled with 三 read as さん",
"Japanese terms spelled with 三 read as み",
"Japanese terms spelled with 浦 read as うら",
"Japanese terms spelled with 浦 read as ほ",
"Japanese terms with 2 kanji",
"Japanese terms with IPA pronunciation",
"Japanese terms with multiple readings",
"Japanese terms with non-redundant non-automated sortkeys",
"Japanese terms with redundant sortkeys",
"Pages with 2 entries",
"Pages with entries"
],
"etymology_templates": [
{
"args": {
"1": "ja",
"2": "三",
"3": "浦",
"sort": "みうら",
"t1": "three",
"t2": "inlet, bay",
"tr1": "mi; san",
"tr2": "ura; ho"
},
"expansion": "三 (mi; san, “three”) + 浦 (ura; ho, “inlet, bay”)",
"name": "compound"
}
],
"etymology_text": "Compound of 三 (mi; san, “three”) + 浦 (ura; ho, “inlet, bay”).",
"forms": [
{
"form": "三浦",
"ruby": [
[
"三",
"み"
],
[
"浦",
"うら"
]
],
"tags": [
"canonical"
]
},
{
"form": "Miura",
"tags": [
"romanization"
]
}
],
"head_templates": [
{
"args": {
"1": "proper",
"2": "みうら"
},
"expansion": "三(み)浦(うら) • (Miura)",
"name": "ja-pos"
}
],
"lang": "Japanese",
"lang_code": "ja",
"pos": "name",
"senses": [
{
"categories": [
"English links with redundant wikilinks",
"ja:Cities in Japan",
"ja:Cities in Kanagawa Prefecture, Japan",
"ja:Places in Japan",
"ja:Places in Kanagawa Prefecture, Japan"
],
"glosses": [
"Miura (a city in Kanagawa Prefecture, Japan)"
],
"links": [
[
"Miura",
"w:Miura, Kanagawa"
],
[
"city",
"city"
],
[
"Kanagawa",
"Kanagawa#English"
],
[
"Japan",
"Japan#English"
]
]
},
{
"categories": [
"Japanese surnames",
"Japanese terms with non-redundant non-automated sortkeys"
],
"glosses": [
"a locational surname"
],
"links": [
[
"surname",
"surname"
]
]
}
],
"sounds": [
{
"other": "みうら"
},
{
"ipa": "[mʲiɯ̟ɾa̠]"
}
],
"wikipedia": [
"ja:三浦"
],
"word": "三浦"
}
{
"categories": [
"Japanese compound terms",
"Japanese entries with incorrect language header",
"Japanese lemmas",
"Japanese links with redundant alt parameters",
"Japanese links with redundant wikilinks",
"Japanese proper nouns",
"Japanese terms read with on'yomi",
"Japanese terms spelled with first grade kanji",
"Japanese terms spelled with secondary school kanji",
"Japanese terms spelled with 三 read as さん",
"Japanese terms spelled with 浦 read as ほ",
"Japanese terms with 2 kanji",
"Japanese terms with IPA pronunciation",
"Japanese terms with multiple readings",
"Japanese terms with non-redundant non-automated sortkeys",
"Japanese terms with redundant sortkeys",
"Pages with 2 entries",
"Pages with entries"
],
"etymology_templates": [
{
"args": {
"1": "ja",
"2": "三",
"3": "浦",
"sort": "みうら",
"t1": "three",
"t2": "inlet, bay",
"tr1": "mi; san",
"tr2": "ura; ho"
},
"expansion": "三 (mi; san, “three”) + 浦 (ura; ho, “inlet, bay”)",
"name": "compound"
}
],
"etymology_text": "Compound of 三 (mi; san, “three”) + 浦 (ura; ho, “inlet, bay”).",
"forms": [
{
"form": "三浦",
"ruby": [
[
"三",
"さん"
],
[
"浦",
"ぽ"
]
],
"tags": [
"canonical"
]
},
{
"form": "Sanpo",
"tags": [
"romanization"
]
}
],
"head_templates": [
{
"args": {
"1": "proper",
"2": "さんぽ"
},
"expansion": "三(さん)浦(ぽ) • (Sanpo)",
"name": "ja-pos"
}
],
"lang": "Japanese",
"lang_code": "ja",
"pos": "name",
"senses": [
{
"categories": [
"Japanese terms with historical senses",
"Japanese terms with usage examples"
],
"examples": [
{
"english": "Disturbance of the Three Ports",
"roman": "Sanpo no Ran",
"ruby": [
[
"三",
"さん"
],
[
"浦",
"ぽ"
],
[
"乱",
"らん"
]
],
"text": "三浦の乱"
}
],
"glosses": [
"three trading ports opened to Japan during the Joseon Dynasty, namely 薺(せい)浦(ほ) (Seiho), 富(ふ)山(ざん)浦(ぽ) (Fuzanpo) and 塩(えん)浦(ぽ) (Enpo)"
],
"links": [
[
"Joseon",
"Joseon"
],
[
"薺(せい)浦(ほ)",
"薺浦#Japanese"
],
[
"富(ふ)山(ざん)浦(ぽ)",
"富山浦#Japanese"
],
[
"塩(えん)浦(ぽ)",
"塩浦#Japanese"
]
],
"raw_glosses": [
"(historical) three trading ports opened to Japan during the Joseon Dynasty, namely 薺(せい)浦(ほ) (Seiho), 富(ふ)山(ざん)浦(ぽ) (Fuzanpo) and 塩(えん)浦(ぽ) (Enpo)"
],
"tags": [
"historical"
]
}
],
"sounds": [
{
"other": "さんぽ"
},
{
"other": "さんぽ"
},
{
"ipa": "[sã̠mpo̞]"
}
],
"wikipedia": [
"ja:三浦"
],
"word": "三浦"
}
Download raw JSONL data for 三浦 meaning in All languages combined (6.9kB)
{
"called_from": "pronunciations/296/20230324",
"msg": "Zh-pron header not found in zh_pron_tags or tags: '(Standard Cantonese, Guangzhou–Hong Kong)⁺'",
"path": [
"三浦"
],
"section": "Chinese",
"subsection": "",
"title": "三浦",
"trace": ""
}
{
"called_from": "form_descriptions/1831",
"msg": "unrecognized sense qualifier: ～市",
"path": [
"三浦"
],
"section": "Chinese",
"subsection": "proper noun",
"title": "三浦",
"trace": ""
}
{
"called_from": "form_descriptions/1831",
"msg": "unrecognized sense qualifier: ～市",
"path": [
"三浦"
],
"section": "Chinese",
"subsection": "proper noun",
"title": "三浦",
"trace": ""
}
{
"called_from": "parser/1336",
"msg": "no corresponding start tag found for </span>",
"path": [
"三浦"
],
"section": "Japanese",
"subsection": "proper noun",
"title": "三浦",
"trace": ""
}
{
"called_from": "parser/1336",
"msg": "no corresponding start tag found for </span>",
"path": [
"三浦"
],
"section": "Japanese",
"subsection": "proper noun",
"title": "三浦",
"trace": ""
}
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2025-06-18 from the enwiktionary dump dated 2025-06-01 using wiktextract (074e7de and f1c2b61). 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.