ExpressCongoBuy atomic service description

Hi All,
             I need some clarification regarding the description of 
ExpressCongoBuy atomic service which is part of the ProcessModel 
described by the file 
<http://www.daml.org/services/daml-s/0.7/CongoProcess.daml>.
Is property:congoOrderShippedEffect part of the ExpressCongoBuy service? 
If the answer is yes, shouldn't  it have a domain pointing to the 
ExpressCongoBuy class.

- <daml:Property rdf:ID="congoOrderShippedEffect">
  <rdfs:subPropertyOf 
rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#effect" 
/>
- <rdfs:range>
- <daml:Class>
  <rdfs:subClassOf 
rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#ConditionalEffect" 
/>
- <rdfs:subClassOf>
- <daml:Restriction>
  <daml:onProperty 
rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#ceCondition" 
/>
  <daml:toClass rdf:resource="#BookInStock" />
  </daml:Restriction>
  </rdfs:subClassOf>
- <rdfs:subClassOf>
- <daml:Restriction>
  <daml:onProperty 
rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#ceEffect" 
/>
  <daml:toClass rdf:resource="#OrderShippedEffect" />
  </daml:Restriction>
  </rdfs:subClassOf>
  </daml:Class>
  </rdfs:range>
  </daml:Property>
 
Similarly shouldn't the output: congOrderShippedOutput have a domian as 
well. Am I missing something?

peace,
mithun