[Semantics] upade readme for the forked version