તેના આધારે તર્ક વાપરવા પર ચોક્કસ સિમેન્ટીક તારણો પણ સિમેન્ટીક કહેવાય મેળવે છે.