From: mur@awite.de   
      
   > Technically, to have accumulation method specified per rules block is more   
   > general.   
   >   
   > BUT the only feasible accumulation method is OR, so accumulation   
   > specifications are superfluous anyway. In my compiler all accumulation   
   > methods except OR are flagged as errors.   
      
   But for OR you have also more possibilities. I think you mean that for   
   accumulation the same method as defined for OR should be used.   
      
   >   
   > The variable should be of Boolean type (the draft is quite shallow in all   
   > concerning types.) So if X is Boolean,   
      
   OK, the same as 1.0 membership for true and 0.0 for false.   
      
   >   
   >    IF X is (true,1)(false,0) AND (true,1)(false,0) is X THEN ...   
      
   Is it allowed in FCL to define the sets direct in the condition of the rule?   
      
   Greetings   
      
   Ernst   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)