Demonstration 4ft-Miner

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

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.

Print page PDF version

Send comments about this site to the webmaster