Panglokikane kaanggen ngawehin kawentenan semantik formal ngenenin sapunapi kawigunan idep pastika kaanggen pananda sane wenten ring sistem KR.