केआर प्रनाली में प्रतीक पर तर्क कार्य के कइसे लागू करे के चाही, एकरे औपचारिक सब्दार्थ क आपूर्ति बदे तर्क क उपयोग करल जाला.