<?xml version="1.0"?>

<rulebase
xmlns="http://www.ruleml.org/0.86/xsd"
xsi:schemaLocation="http://www.ruleml.org/0.86/xsd http://www.ruleml.org/0.86/xsd/urhornlog.xsd"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
>

<!-- Tim Berners-Lee's authentication rule (without URI 0.86/xsdtion):
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 -->

<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>


</rulebase>

