PanLinx
Deutsch
deu-000
Nichtterminalsymbol
English
eng-000
nonterminal
English
eng-000
nonterminal symbol
PanLex
