Quantifiers

This section will describe how to set up quantifiers and its parameters. It will not describe each quantifier in details. You can learn more about quantifiers here. Figure 1 shows the window for setting quantifiers.

There are 16 quantifiers now available. It is possible to use one or more quantifiers together. If more than one quantifier is set then the final hypothesis must satisfy all quantifiers together. That means that the final hypothesis must satisfy the conjunction of quantifiers.

Each quantifier has in this selection one parameter – parameter p. Parameter B is common for all quantifiers together and can be setup elsewhere. It will be described in the next section.