PanLinx
русский
rus-000
сукцедентная подформула
English
eng-000
succedent subformula
PanLex