<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="C:\Documents and Settings\hirtled\Desktop\RuleML\0.88\xslt\087-to-088.xslt"?>
<Rulebase xmlns="http://www.ruleml.org/0.87/xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.87/xsd http://www.ruleml.org/0.87/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 -->
<clause>
	<Imp>
		<head>
			<Atom>
				<opr>
					<Rel>may register</Rel>
				</opr>
				<Var>any</Var>
			</Atom>
		</head>
		<body>
			<And>
				<Atom>
					<opr>
						<Rel>person</Rel>
					</opr>
					<Var>any</Var>
				</Atom>
				<Atom>
					<opr>
						<Rel>organization</Rel>
					</opr>
					<Var>org</Var>
				</Atom>
				<Atom>
					<opr>
						<Rel>employee in</Rel>
					</opr>
					<Var>any</Var>
					<Var>org</Var>
					<Cterm>
						<opc>
							<Ctor>last</Ctor>
						</opc>
						<Cterm>
							<opc>
								<Ctor>month</Ctor>
							</opc>
							<Ind>2</Ind>
						</Cterm>
					</Cterm>
				</Atom>
				<Atom>
					<opr>
						<Rel>member in</Rel>
					</opr>
					<Var>org</Var>
					<Ind href="http://www.w3.org/">W3C</Ind>
					<Cterm>
						<opc>
							<Ctor>last</Ctor>
						</opc>
						<Cterm>
							<opc>
								<Ctor>month</Ctor>
							</opc>
							<Ind>2</Ind>
						</Cterm>
					</Cterm>
				</Atom>
			</And>
		</body>
	</Imp>
</clause>
</Rulebase>

