Return to Article Details Value-oriented meanings in the semantics of set expressions