 Note that conjunction \(\cdot\) is interpreted as relation composition, and negation \({\sim}\) is basically interpreted as complementation with respect to the domain of the relation denoted by the negated formula.