Standardinterpretationen erlauben alle Elemente im Universum, während Herbrand-Interpretationen nur Elemente zulassen, die aus den Formeln abgeleitet werden können.
Herbrand-Interpretationen sind immer gültig, Standardinterpretationen nicht.
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art