Logika dipakai untok menyediakan semantik reusemi teuntang pakriban guna penalaran nyang haroh diteurapkan keu simboi-simboi nyang na lam sistem KR.