15.5.1 or-Statements

An or-statement states disjunctive information in terms of a propagator. For instance, the congruence information of the German adjective `schönen' can be is described as follows:

<Or Statement>=

or [Gen Cas Num]=[masc dat sg] then skip  % dem schönen Mann
[] [Gen Cas Num]=[masc acc sg] then skip  % den schönen Mann
[] [Gen Cas Num]=[masc nom pl] then skip  % die schönen Männer
[] [Gen Cas Num]=[masc gen pl] then skip  % der schönen Männer
[] [Gen Cas Num]=[masc dat pl] then skip  % den schönen Männern
[] [Gen Cas Num]=[masc acc pl] then skip  % die schönen Männer
[] [Gen Cas Num]=[fem gen sg]  then skip  % der schönen Frau    
[] [Gen Cas Num]=[fem dat sg]  then skip  % der schönen Frau    
[] [Gen Cas Num]=[fem nom pl]  then skip  % die schönen Frauen
[] [Gen Cas Num]=[fem gen pl]  then skip  % der schönen Frauen   
[] [Gen Cas Num]=[fem dat pl]  then skip  % den schönen Frauen  
[] [Gen Cas Num]=[fem acc pl]  then skip  % die schönen Frauen
end

An or-statement consists of a set of clauses each of which has a guard and a body. For instance, the guard of the second clause above is the constraint [Gen Cas Num]=[masc acc sg]. The body of all above clauses is the expression skip. The distinct behaviour of guards and bodies is explained in the next section.