Formel-Klassen, die zur Repräsentation der Korpusanfrage in ihren diversen Stadien (originale Formel, DNF usw.) verwendet werden.