Update index.xml: Extend semantics section

Update name, add "Check the semantics" links