PanLinx
日本語
jpn-000
手続き的意味
English
eng-000
procedural semantics
PanLex