PanLinx
русский
rus-000
непосредственная выводимость
English
eng-000
immediate derivability
PanLex