Which Semantics for Requirements Engineering: from Shallow to Deep