Process Model: Recent evolution
Conditional outputs & effects
Parameter bindings
<rdf:Description rdf:about="#FullCongoBuy">
<sameValues rdf:parseType="daml:collection">
    <ValueOf atClass="#FullCongoBuy“
                     theProperty="#fullCongoBuyBookISBN"/>
    <ValueOf atClass="#LocatedBookOutput“
                     theProperty="outInCatalogBookISBN"/>
    <ValueOf atClass="#CongoBuyBook“
                     theProperty="#congoBuyBookISBN"/>
</sameValues>
č Pushing the limits of DAML+OIL expressiveness