Katrs likums ir nosacījumu konjunkcija , kur atsevišķu nosacījumu apraksta formā a = v ( ja a ir nomināls atribūts ) vai formā a v vai a v ( ja a ir skaitlisks atribūts ) , ar v norādot atribūta vērtību .
Katrs likums ir nosacījumu saistījums , kur atsevišķu nosacījumu apraksta veidā a = v ( ja a ir nosaukuma mainīgais ) vai veidā a v vai a v ( ja a ir skaitlisks mainīgais ) , ar v norādot mainīgā vērtību .