<?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>