First version of ShEx semantics