Logical operative processes of semantic grammar for machine interpretation | IEEE Conference Publication | IEEE Xplore