A first order semantics of a connective suitable to express concurrency