Precisiation of meaning—toward computation with natural language | IEEE Conference Publication | IEEE Xplore