◤SD4ft-Miner Demonstration - Quantifiers◢

**Main menu:**

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.