subformula (formula + sub-; below_under)
A formula that is part of another formula