Creating a Simplified View

Optional.

Define a simple CongoBuy service which expands to the ExpandedCongoBuy we just saw.

<daml:Class rdf:about="#CongoBuy">
  <rdfs:subClassOf>
    <daml:Restriction> 
      <daml:onProperty rdf:resource="&process;#expand"/>
      <daml:toClass rdf:resource="#ExpandedCongoBuy"/>
    </daml:Restriction> 
  </rdfs:subClassOf>
</daml:Class>

<daml:Class rdf:about="#ExpandedCongoBuy">
  <rdfs:subClassOf>
    <daml:Restriction> 
      <daml:onProperty rdf:resource="&process;#collapse"/>
      <daml:toClass rdf:resource="#CongoBuy"/>
    </daml:Restriction> 
  </rdfs:subClassOf>
</daml:Class>