Subformula

*

Словосочетания

direct subformula — непосредственная подформула
succedent subformula — сукцедентная подформула