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