<PROBLEM>
<SYMBOLS>
# Name : [Unknown|Known|Alias] (* Optional comment *) ;
  i1 : Known (**);
  i2 : Known (**);
  O1 : Unknown (* *);    
  
</SYMBOLS>
<ALIASES>
# Name = BooleanFormula (* Optional comment *) ;
</ALIASES>
<REQUIREMENTS>
# Name : BooleanFormula [=<|=] BooleanFormula (* Optional comment *) ;
RR10 : (**)   
i1./O1=0;     

RR11 : (**)   
i2.O1=0;   
 
</REQUIREMENTS>
<ASSUMPTIONS>
# Name :  (* Optional comment *) 
# BooleanFormula = BooleanFormula ;
</ASSUMPTIONS>                                                                    
<PRIORITIES>
# [Name|{Name, Name}] >> Name (* Optional comment *) ;
</PRIORITIES>
<OPTIMUM CRITERIA>
# Name : [Minimal|Maximal] (* Comment *)
#         BooleanFormula ;
</OPTIMUM CRITERIA>
</PROBLEM>

