Drafted first half of semantic metric section in implementation chapter.