subformula rimmaa näiden kanssa:
formula...
Katso kaikki
puhekieltä A formula that is part of another formula.