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.

Figure 1: Quantifiers

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. Quantifiers are divided into two categories – aggregate quantifiers (see fig.2) and function quantifiers (see fig. 3).

Figure 2: Aggregate Quantifiers

Figure 3: Function Quantifiers

Each quantifier has in this selection parameters relation (e.g. greater than, less than, etc.), value and operation mode. In operation mode user can set up whether the quantifier will be applied just on the first set, on the second set, or on both sets.