[query public associationSignatures(ownedEnds : Sequence(Property)) : Sequence(Sequence(Property)) =
if ownedEnds->size() = 0 then
   Sequence(Sequence(Property)){}
else
   let ownedEnd : Property = ownedEnds->first() in
   let last_ownedEnds : Sequence(Property) = ownedEnds->subSequence(2,ownedEnds->size()) in
   let last_signatures : Sequence(Sequence(Property)) = associationSignatures(last_ownedEnds) in
   let signatures_with_ownedEnd : Sequence(Sequence(Property)) 
                                = last_signatures->collect(signature : Sequence(Property)
                                                         | signature->prepend(ownedEnd)) in 
   if ownedEnd.lower = 0 then
      last_signatures->union(signatures_with_ownedEnd)
   else
      signatures_with_ownedEnd
   endif
endif
/]