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