Some DAML clarification

Hi

Maybe someone can help me out here.
Can instances in DAML be of the type as below:

<rule:Rule rdf:ID="first">
   <rule:If>
     <rdf:Seq>
       <rdf:li>
        <rule:Conclusion>
            <rule:relator>rel1</rule:relator>
            <rule:Var rdf:ID="var1" rule:name="nvar1" />
            <rule:Var rdf:ID="var2" rule:name="nvar2"/>
      </rule:Conclusion>
    </rdf:li>
    <rdf:li>
      <rule:Premise>
            <rule:relator>rel2</rule:relator>
            <rule:Var rdf:ID="var3" rule:name="nvar3" />
            <rule:Var rdf:ID="var4" rule:name="nvar4"/>
      </rule:Premise>
     </rdf:li>
    </rdf:Seq>
    </rule:If>
  </rule:Rule>
</rdf:RDF>

Where rule is the basic Ontology that describes a rule being an If statement with premises and conclusion, which are defined as
Classes with a property relator and Var ( this is a class with property name).

Regards
Charlie