The expression A(a₁) is usual one-value literal. It is a Boolean attribute that is true for an object o if and only if the value of attribute A for object o is a₁. The expression B(b₁) and B(b₁, b₂, b₃). Here A is an attribute and a₁ is one of its possible values. Analogously b₁, b₂, b₃ are some of possible values of attribute B.

The expression A(a₁) is usual one-value literal. It is a Boolean attribute that is true for an object o if and only if the value of attribute A for object o is a₁. The expression B(b₁, b₂, b₃) is a complex literal. It is a Boolean attribute that is true for the object o if and only if the value of attribute B for object o is b₁ or b₂ or b₃.

There is a demonstration of the main features of the procedure 4ft-Miner.