Difference Analysis Generated by HtmlDiff on 2/15/2005 1:07 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/urhornlog.xsd">  
<!-- Tim Berners-Lee's authentication rule (without URI inspection):
Any person who was some time in the last 2 months an employee of
an organization which was some time in the last 2 months a W3C member
may register -->
   
Any person who was some time in the last 2 months an employee of
an organization which was some time in the last 2 months a W3C member
may register -->    
<content>
      
<And innerclose="universal">        
<formula>
              
<Implies>           
<head>              
<Atom>                  
<opr>                       
<Rel>may register</Rel>                     
</opr>                  
<arg index="1">
                                
<Var>any</Var>              
</arg>
                     
</Atom>             
</head>             
<body>              
<And>                   
<formula>
                              
<Atom>                      
<opr>                           
<Rel>person</Rel>                       
</opr>                      
<arg index="1">
                                        
<Var>any</Var>                  
</arg>
                             
</Atom>                     
</formula>
                         
<formula>
                              
<Atom>                      
<opr>                           
<Rel>organization</Rel>                         
</opr>                      
<arg index="1">
                                        
<Var>org</Var>                  
</arg>
                             
</Atom>                     
</formula>
                         
<formula>
                              
<Atom>                      
<opr>                           
<Rel>employee in</Rel>                      
</opr>                      
<arg index="1">
                                        
<Var>any</Var>                      
</arg>
                                 
<arg index="2">
                                        
<Var>org</Var>                      
</arg>
                                 
<arg index="3">
                                        
<Cterm>                             
<opc>                               
<Ctor>last</Ctor>                           
</opc>                          
<arg index="1">
                                                
<Cterm>                                 
<opc>                                   
<Ctor>month</Ctor>                              
</opc>                              
<arg index="1">
                                                        
<Ind>2</Ind>                            
</arg>
                                             
</Cterm>                        
</arg>
                                     
</Cterm>                    
</arg>
                             
</Atom>                     
</formula>
                         
<formula>
                              
<Atom>                      
<opr>                           
<Rel>member in</Rel>                        
</opr>                      
<arg index="1">
                                        
<Var>org</Var>                      
</arg>
                                 
<arg index="2">
                                        
<Ind wref="http://www.w3.org/">W3C</Ind>                        
</arg>
                                 
<arg index="3">
                                        
<Cterm>                             
<opc>                               
<Ctor>last</Ctor>                           
</opc>                          
<arg index="1">
                                                
<Cterm>                                 
<opc>                                   
<Ctor>month</Ctor>                              
</opc>                              
<arg index="1">
                                                        
<Ind>2</Ind>                            
</arg>
                                             
</Cterm>                        
</arg>
                                     
</Cterm>                    
</arg>
                             
</Atom>                 
</formula>
                     
</And>          
</body>         
</Implies>  
</formula>
     
</And> 
</content>

</Assert>