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