[Semantics] add statistics to the readme