Synonyms of "subformula"

AI

    loader

    foo bar baz
    foo bar baz