Version 0.91

The next element after the top level Assert must be Rulebase, Rulebase must also have a attirbute of mapClosure.
<Assert>
    <Rulebase mapClosure="universal">
	
      <Implies>
        <Atom>
          <Rel>discount</Rel>
          <Var>product</Var>
          <slot>
            <Ind>percent</Ind><Data>5.0</Data>
          </slot>
        </Atom>  
        <Atom>
          <Rel>regular</Rel>
          <Var>product</Var>
        </Atom>
      </Implies>

      <Atom>
        <Rel>discount</Rel>
        <Ind>Bike</Ind>
        <slot>
          <Ind>percent</Ind><Data>5.0</Data>
        </slot>
      </Atom>
	  
   </Rulebase>
</Assert>

Version 0.88

The top level assert is followed by And, And must have a mapClosure attribute.
<Assert>
    <And mapClosure="universal">
	
      <Implies>
        <Atom>
          <Rel>discount</Rel>
          <Var>product</Var>
          <slot>
            <Ind>percent</Ind><Data>5.0</Data>
          </slot>
        </Atom>  
        <Atom>
          <Rel>regular</Rel>
          <Var>product</Var>
        </Atom>
      </Implies>

      <Atom>
        <Rel>discount</Rel>
        <Ind>Bike</Ind>
        <slot>
          <Ind>percent</Ind><Data>5.0</Data>
        </slot>
      </Atom>
	  
   </And>
</Assert>

Last Updated:
   August 10, 2006

By:
   Ben Craig