PanLinx
日本語
jpn-000
外延的意味
English
eng-000
denotational semantics
PanLex