Using syntactic data from [6] , [7] , which record explicit entailment relation between different parameter, it was shown in <cite>[17]</cite> , for small graph examples, that in the presence of relations the dynamics settles on equilibrium states that are not necessarily given by completely aligned spins.