Translate between 248+ languages for free
“subformula” may not be a concrete noun or may not be in WordNet. Try a different word.
Did you mean?