syntax of ghost-ml table
semantics rules