(1) A declarativ, IF-THEN declaraţia care conţine precondiţie, care poate consta din mai multe clauze booleene, precum şi decizia pentru o politică.
(2) O declaraţie de programare în cadrul unei politici care defineşte o acţiune specifică care urmează să fie efectuate.