The quantifiers generally contain three different types of information which are their name, description and definition.
The quantifiers are distinguished from each other based on their name and their parameter values. All Quantifiers created with the Quantifier Editor have zeros as their parameter values. These values can be changed later.
The name of the Quantifier can be changed by clicking on the Change Name button and then typing the appropriate name in the text field in the upper part of the window.
The definition of a quantifier is an algebraic equasion. The equasion may contain floating point constants, four-fold table cell identifiers or arbitrary identifiers which are the Quantifier's parameters that can be assigned different values.
The quantifier definition can be edited by directly manipulating the definition text area located in the middle of the editor window. You can also press the buttons below the text area to enter symbols.
New parameters can be added to the definition with the controls to the right of the operator symbol buttons. Another way is to simply type them to the text area. Any identifier in the text area consisting of word characters that is not a numerical constant or a four-fold table cell identifier is interpreted to be a parameter symbol.
The description is an informal narrative text describing the Quantifier. It is meant solely for the users of the application and does not affect the way the Quantifier is evaluated. You can edit the description by clickin on the Give description button. A small dialog will open where the old description is displayed. You can edit this description. Finally press the OK button to save changes or the Cancel button to keep the old description.