Specifying and Enforcing Association Semantics via ORN in the Presence of Association Cycles