Difference Analysis Generated by HtmlDiff on 2/15/2005 1:12 PM  

 

<?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/hornlog.xsd">  
<!-- 'own' example as universal 'Assert' (changed from not-currently-supported 'Consider') -->  
<!-- Universally closed 'And' elements in 'Assert' wrapper -->    
<content>
      
<And innerclose="universal">      
<formula>
              
<Implies>       
<body>
                     
<And>         
<formula>
                              
<Atom>           
<opr>
                                      
<Rel>buy</Rel>           
</opr>
                                 
<arg index="1">
                                        
<Var>person</Var>           
</arg>
                                 
<arg index="2">
                                        
<Var>merchant</Var>           
</arg>
                                 
<arg index="3">
                                        
<Var>object</Var>         
</arg>
                             
</Atom>         
</formula>
                         
<formula>
                              
<Atom>           
<opr>
                                      
<Rel>keep</Rel>           
</opr>
                                 
<arg index="1">
                                        
<Var>person</Var>           
</arg>
                                 
<arg index="2">
                                        
<Var>object</Var>         
</arg>
                             
</Atom>       
</formula>
                     
</And>       
</body>
                    
<head>
                     
<Atom>         
<opr>
                              
<Rel>own</Rel>         
</opr>
                         
<arg index="1">
                                
<Var>person</Var>         
</arg>
                         
<arg index="2">
                                
<Var>object</Var>       
</arg>
                     
</Atom>     
</head>
                
</Implies>          
</formula>
         
<formula>
              
<Atom>       
<opr>
                      
<Rel>buy</Rel>       
</opr>
                 
<arg index="1">
                        
<Ind>Mary</Ind>       
</arg>
                 
<arg index="2">
                        
<Ind>John</Ind>       
</arg>
                 
<arg index="3">
                        
<Cterm>         
<opc>
                              
<Ctor>book</Ctor>         
</opc>
                         
<arg index="1">
                                
<Ind>Elliotte Rusty Harold</Ind>         
</arg>
                         
<arg index="2">
                                
<Ind>XML Bible</Ind>         
</arg>
                         
<arg index="3">
                                
<Ind>2001</Ind>       
</arg>
                     
</Cterm>     
</arg>
             
</Atom>      
</formula>
         
<formula>
              
<Atom>       
<opr>
                      
<Rel>keep</Rel>       
</opr>
                 
<arg index="1">
                        
<Ind>Mary</Ind>       
</arg>
                 
<arg index="2">
                        
<Var>object</Var>     
</arg>
             
</Atom>        
</formula>
     
</And>      
</content>

</Assert>