**Definition 2. (Model-Theoretic Semantics)** *Let* P *a CFLP*(D)*-program and* I *a c-interpretation.*

