initial formalism for relational and semantics