Difference Analysis Generated by HtmlDiff on 2/15/2005 11:22 AM  

 

<?xml version="1.0" encoding="UTF-8"?>  
<Assert xmlns="http://www.ruleml.org/0.88/xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.88/xsd http://www.ruleml.org/0.88/xsd/urdatalog.xsd">  
<!-- challenge rule from RuleML site -->  
<content>
      
<And innerclose="universal">  
<formula>
              
<Implies>   
<head>     
<Atom>       
<opr>         
<Rel>may look at</Rel>       
</opr>       
<arg index="1">
                                
<Var>you</Var>       
</arg>
                         
<arg index="2">
                                
<Ind wref="http://www.cs.brandeis.edu/...">Rule-Based Systems</Ind>     
</arg>
                     
</Atom>   
</head>   
<body>     
<Atom>       
<opr>         
<Rel>want to review</Rel>       
</opr>       
<arg index="1">
                                
<Var>you</Var>       
</arg>
                         
<arg index="2">
                                
<Ind>rule principles</Ind>     
</arg>
                     
</Atom>   
</body> 
</Implies>    
</formula>
         
<formula>
              
<Atom>     
<opr>       
<Rel>want to review</Rel>     
</opr>     
<arg index="1">
                        
<Ind>fred</Ind>     
</arg>
                 
<arg index="2">
                        
<Ind>rule principles</Ind>   
</arg>
             
</Atom>  
</formula>
     
</And>  
</content>

</Assert>