Formatted Semantics section in README