- Up - | Next >> |
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 [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.
- Up - | Next >> |