PanLinx
English
eng-000
modally derivable formula
русский
rus-000
модально выводимая формула
PanLex
