Possible representation of section 504 of US copyright act

[Guido Governatori <guido.governatori@nicta.com.au>]

The logical representation of 504 can be as follows:

<PrescriptiveStatement key="r1">
  <if>
    <And>
      <Violated keyref=#???/>
      <Atom>
        <Rel "before judgement"/>
      <Atom/>
    </And>
  </if>
  <then>
    <Suborder>
      <Permitted beneficiary="owner" subject="infringer">
        <Rel "charge value of statutory damages"/>
        <Var>x</Var>
      </Permitted>
      <Permitted beneficiary="owner" subject="infringer>
        <Rel "charge value actual damages plus lost profit">
        <Var>y</Var>
      </Permitted>
    </Suborder>
  </then>
</PrescriptiveStatement>

<PrescriptiveStatement validityTime= inForceTime= efficacyTime= key="r2">
 <if>
  <Or>
    <Atom>
      <Rel "less than">
      <Var>x</Var>
      <Ind>VALUE1</Ind>
    </Atom>
    <Atom>
      <Rel "more than">
      <Var>x</Var>
      <Ind>VALUE2</Ind>
    </Atom>
  </Or>
 </if>
 <then>
   <Forbidden subject="owner">
     <Rel "charge value of statutory damages"/>
     <Var>x</Var>
   </Forbidden>
 </then>
</PrescriptiveStatement>

r2 is stronger than r1

We can have several instances of r2, one for each version of the code. Given that the only changes are the values of VALUE1 and VLAUE2 (the min and max for statutory damages), it would be nice if, instead of replicating the whole r2, replace, using the inForceTime, the values for min and max.



________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.