Языковые средства для построения логичных рассуждений