(I did not know where the semantics document is, that is why I do not raise this as a PR.)
In §2.2 Terms, Triples and Graphs, in the example part, the translation of {?x a :Human} => {?x a :Mortal}. seems to miss an extra parenthesis. It currently ends with :Mortal)}>}), and it should be, I believe, :Mortal)}>)}). Note the missing ) character after the > character.