module Semantic where