{"id":1050,"date":"2018-02-17T12:16:41","date_gmt":"2018-02-17T17:16:41","guid":{"rendered":"http:\/\/haleyai.com\/wordpress\/?p=1050"},"modified":"2018-07-26T09:23:03","modified_gmt":"2018-07-26T14:23:03","slug":"dictionary-knowledge-acquisition","status":"publish","type":"post","link":"http:\/\/haleyai.com\/wordpress\/2018\/02\/17\/dictionary-knowledge-acquisition\/","title":{"rendered":"Dictionary Knowledge Acquisition"},"content":{"rendered":"<p>The following is motivated by <a href=\"http:\/\/www.boe.ca.gov\/lawguides\/business\/current\/btlg\/vol1\/sutl\/6359.html\" target=\"_blank\">Section 6359 of the California Sales and Use Tax<\/a>.\u00a0 It demonstrates how knowledge can be acquired from dictionary definitions:<\/p>\n<p><img decoding=\"async\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAArcAAAH0CAIAAACo25J\/AAAgAElEQVR4nO2d3a\/tSHqX\/Rf1TUbnwhLSuUHqiyNF6vuWzlVJ0COkTAOb5Crpm8OEIJlWSKIEcs6B0CBOEM2X0wxBfIWhM2GaEAgoY0gm7emkSVDSJM2O2HvrLC7Wsl2f\/li2V71V63lkaa\/t5ap66y276ue3vFzFF6v5oR\/6oQMAAABkR4FKAAAAAC\/FCwCAK2D9HRHAFVLElikAAJcAoQBwBqgEALgWEAoAS0ElAMC1gEoAWIpHJfzaJ\/U\/\/ODP1z\/\/w\/XP\/\/A\/+rt\/4Vf+\/d+9\/MUMALA5qASApdgq4Rd\/4cd\/6d\/8g9\/5nd\/5oz\/6oy+\/\/PLLL7\/8rf\/5q3\/v+Q9EuaQBADYElQCwFEMlfOs\/\/KNv\/tIvfP7556817u\/v\/\/APfv\/nfvYvTVx\/tSqKoiir5szrt1YrEl8wz7MRZcwhtj2XL12a\/5fis3\/tRbczO\/cJf6ZjcmcPKgFgKYZKePE3f\/g3fuM7\/+\/u3tpu\/+RP\/uk\/\/ulPPx252GtVFKpe0gN4coiuEnYdSOZkvvdIpuc\/s6ydTEIlLMW1f\/1Ftyu79wm9FBj5YIFKAFiKoRL+zs\/99U\/b7315+yfW9sf\/9\/\/++q9\/8i9\/8efPvp5ngErY24ADKiE7lSC5Rrv3CboUsOIHqASArTBjCS9\/8n\/+1m\/\/wf\/5Y3v74o\/+86998o1vfBi6XFVx4nRNN1XZ7RluJkZ3llXl7wTr\/oCm36lUecpjbp6h0XFIr+q6r0Wh6pH4rlmYm0+oOG91wgZ4iqvVsU5GDm7pnh2W+YWqA\/ZYhdomhas839qRxg1ZHnLpjIqPnWDe88c8wcasDZ2KvT8m3TuZyYj99YyLLlyXMzzpFjx26BzzzugTbLxqICQRDqgEgOUYKuHHf7L6tf\/63\/7X\/\/5DZ\/uDf\/bRP\/21\/\/Kfwler1fXoHUg\/Ro7tbKrSGUpq1fcxZhKtm56ZZ7BnNIvUDhu7jXG+q5XZl4ZUglOdsYTuzloZY\/JQy5FaBL\/S7fHEhk1xY5vkFjrTWv0wb+POtHzKe6fk0yeY9\/zx68OJU9FTdPBEM700nsmo\/dMXnV+fLfakSyjtMvMW9gke3OcSRg5GJQAsxVAJ3\/iX3\/gX\/+pff+c3v9v+7u9r2+999vnvvff1vzx6qWo9QlOVWrdx6kNCO4dOYCKg2vVFMwry5OnrGc3kARucWpo3SCfs\/iwcS7CqM5bQLW5eLbT7M+dWMBRTMeVRsFC9CGdkmGOt3xLDGwsst7znJh8\/wbznz4RQCxzpsdybZNRLS+2fvBam6zLbk1YGehWCg\/kefYIHVALArti\/hPz6X\/upf\/vNX\/4v\/\/073\/nNT\/\/Hb3\/vf3y3\/c3f\/t77P\/3yZ3\/6p0Yv1b1VQp8+nkoYjjfKML6fnHGwqxNO6CluvkoIPTQ2pRImCg0XMdNavyVd4nMs17zntWp7lTB9Ks6ooM9LS+3fUCX0eYQ86XGaYZx2Ds82bwuVwIwDwN543qr0Yz\/xt\/\/qT\/zcP\/nn\/6b+xV\/6W3\/\/n\/3Ij\/30z\/zUz\/zJl3\/8sz\/6I+GrdSS66ASdfTtDAeHTLiPJ3IK0PLUOach14YxDvyccbu+6OG9x3upYCX0GeAPyY9Z448xOBUOR57FCdXvNvXOt9Rlptl3Acq9LXe95XDF7xsE9wSatNU7FYCu4uiLopaX2T14L\/rZb7kmnTOcUcLTzHn2CAU8vAlwA\/xuaf7v93X\/9zV\/9h7\/w7379N7573PM3vv7eD37\/4x\/72p8NXLBmfzRELKd2dtHL0NOLSpVm1HNGQd48+zCpUvbcvJb\/6X\/lfXqxf6pKKbc\/LBwz7eJ81XESDgZ4ihsZ481c9Iixc3\/nC4kbfb9VRy2JJ6fum\/nWjjTumOUel7pud5OPnWDe8yd4\/z37VBzc6yQZ99JS+yevhcC9+HmetIrpq+CmnWveGX2CAb+EBLgAC9Zx+NGvffUHv\/\/xj37tnflJ1jEdbwS4CGecipy9u8NblQAuwLLVnr7+A1\/9we9\/\/Ff+4tfOv7IXQD8LQkAlZAIqAWApi9eE\/PpfePe9P\/fn9riAHehnQQiohExAJQAshZWjAeBaQCUALAWVAADXAioBYCmoBAC4Fl4AwEJQCQAAAOAHlQAAAAB+isPhEHvWQzSxgz1JErvRciMnl+ZUF4BrAJUwxosXL2LLuCRhJNiWnPyZU10ArgFUQhAkwhoYDDYkJ2fmVBeAawCVEASVsAYGgw3JyZk51QXgGkAlBEElrIHBYENycmZOdQG4BlAJQVAJa2Aw2JCcnJlTXQCuAVRCEFTCGhgMNiQnZ+ZUF4BrAJUQBJWwBgaDDcnJmTnVBeAaQCUEQSWsgcFgQ3JyZk51AbgGXJXw6mnx6NkncawJ8cmzR8XTV6d\/Xj0thn+6HUVRWGa\/eno8qvvW+FpPEqqwqRJqVQzMXRK4qcrzlg8+O+FIfqo+\/VOrYvjnMOzU9hnld1UfDDL3eNdIDgwGnzx7VJjtcdnzzTx5vOfG6YvuKOPcO\/776NknRk2OPH3m7Hn1hY2Wyvi2z9brDsuZvdk9AQ\/u4tuRi9Gq3Zy6AIBwUlAJnzx7dLLok2ePiuLp06dmR+8zt0vzybNnr+wDnSRDATqOSjCHTWecXY13tN2CpipPGTdVWRRKKdv64YjOkl4U9PKhN8\/dYyU\/HLwq4dh62pDy7FW4AbfHOXl850Z3ZPevfWq8euobk90TyH9KGfLD2t1n60kaGFknXbeDb6cuRrN28+sCAEJJQCU4PY3eF7166jX2k2eP7M64z8aXxNd5h1WCdW++FXupBGcMr22V0FSlGUhQVZdGO\/aUj7vHl6UzGFj35LrrL3m+eYdp8xTTTh7r3Pvk2aOnz9yBz80zIAYC56udrZNajkoYvRh9tZtbFwAQyjyVMEQSn74agqPascYB3RevTjtPaazQqJ3E\/l8r27JH63hePS2ePn1qZ+0TCfoMhJvEd+s3phJ0mdBU5cnw4Q5bqbIoVH1KZWqKLqdhDkPVxozG6d+uuCH\/PpNaFWVVWRMBth1BkeAM6YZIOP7TJTIS16pQtbvHW4g9GIREghnjMc8A\/VQMnmqzTyTn5AnsDIqE4xe+89GVDYHBebDNuBCsbJ0iZqkEz2RGf8Crp0H3vHpaPHr2zLogzroYQ7WbVRcAEMoclaDtOXV\/x66h7yC8BxR6B6WNA4EkI3dfIzdqr5765rc9eZlj0awk81SCtr9W\/eg\/7OoVgTbCm6O4HsnXJzX6nbocGXYOmqQ3xB\/dcL+w9uj\/2upgrkpwSvGoBP\/IOXK++VSC3VDzTyTn5PFbYEaqjCGwex7BsHf+bIO3TG+2tpEzVIL2gMAg448H6AItcKn2F+WgpJdfjEHD5tQFAIQyQyVYj2kNHYp7M9cf4L0L1D67ST559sj\/ENaUSnC7dPtOTgt+hJIEJlBHVUI3iuoVscIA3rl856lA31OA3WcnDGFLE+NI74zFlErQLDIeYFimEuxgwhmxBC2YEFYJ1nmy4ETynk7muWGfPL7zwzMJYVZL3xOOa\/QDuC9b+2ycVgmme7W42aNHj0bdNcfJRomz5lZMy+bUBQCEMlMl+OL3hkpw+45JlRB8Atz8YqlKcHvxsacatOD2klhCP3h7HlDwqoTTKGo+R2gF69ephN4ue8ZhXCXoo7vxO46Tepn5XMJkLGHyuYThe+0JEv9ZpJ0nC04kt\/knwwB6tMxEGwNHRMIIr54WT1+Fsl0eSwiqhOLRo0dGjedeqssvRv9eYgkAaTNzxsH7K0OjD3UOGFUJniQnnJ57fCrUmK4+DRt6pzQWYNa6zGXPJeg\/JdTnF8ZUwqGpylKpUkvX\/z5gwYyD9eMCWyUcPE8IjD6XYD636EnkFuo1Y\/K5hC9MZfmF8xsHo1mcBnLOl67F5p9Izgnhnhv2CO\/LY\/Smf950gyeEsfq5BGvGwZjXs8I18y5VryHjF6OvdjyXAJA4XpXg3Nvogcqnz4xefPg0Fca0PltJhmKDP07QLNSO6fN5+uoLp5+3Iqx2dbwT0B3h9yU4o3D\/TXDGoTvOeErwmJlS2g8FPJkM+Xuz9T8M6R3xXZUQEgneEIMR03D3TPzGwWkP++GQ7rtHT58+0ge1Y0s9HcSEdZ7MPpGslnbPDW9gwB7zRx8gGJnSN+szepY7eSx8etG93LQphDmX6pkXoy\/Z3LoAgFBSePfivNuzL774wn0kYU0B+bx70fM6gyPaIwlbF5DgYOA7eRace1vhf0TmoiaMsMwhsusCADNIQSWMPPq2BVqs1iAflbDT+x06vO9yzGYw2PXcc\/GejaKcOd8h8usCAJOkoRKikJNKuDwMBhuSkzNzqgvANYBKCIJKWAODwYbk5Myc6gJwDaASgqAS1sBgsCE5OTOnugBcA6iEIKiENTAYbEhOzsypLgDXACohCCphDQwGG5KTM3OqC8A1UBw7dPASe6hNmNhNBwAAG1DEHk0AAABAKKgEAAAA8CNaJXz22WdXVS4AAFwbwkccVIKgcgEA4NoQPuKgEgSVCwAA14bwEQeVIKhcAAC4NoSPOKgEQeUCAMC1IXzEQSUIKhcAAK4N4SMOKkFQuQAAcG0IH3FQCYLKBQCAa0P4iINKEFQuAABcG8JHHFSCoHIBAODaED7ioBLml1uroqzqqiyKoijKqun3nlB1f5hSZVGo+tCcju6\/dHYAAMA1g0o4H3kqoVMHTVUOOqH\/9rinVr2GqJUpBvpjDodaWekBAOAKQSWcjzyVMIzsgwAYggm9SugOa6pSizpogQSiCQAAcDigEtYgWCU0VVmoevh7ODRV6aiE\/tDCOhgAAOBwQCWsQZ5K6Mb\/frzvJcEwB2GrhMOgILQcAAAAUAlrkKcSjo8l6tMF3SxCqZQbS3CebDQmHQgrAABcPaiE8xGoEggEAADAhqASzgeVAAAAeYNKOB9UAgAA5A0q4XyEqQQAAICNET7ioBIElQsAANeG8BEHlSCoXAAAuDaEjzioBEHlAgDAtSF8xEElCCoXAACuDeEjjmiV8Ptfvv7iiy+up1wAALg2hI84qARB5QIAwLUhfMRBJQgqFwAArg3hI86ESvi+eexkHCoBAADyRviIM60SJrNAJQAAAJyH8BHnKlVCrcYXZAyUW6v+Bc3HxR7Pf19z\/7JnLc9hPWpj5zrWvFX6ZIabRdjOpdVZX\/2Ir82eb\/wZRu50YoxnO9POi520Kwva2871zK7pgg5nj1p7uoI5n8+1YUNvBPI33b60Xms+e8lWJXz66advvvnmRx99lJRKaKqyKJRSq1TClMqYxtc7NFXZ5x9NJZjn9unjYNmUnUurs776cyq4k5IYN35RL+EettOJMd\/mszNZz1ZXx952rmdmTRd1OHvU2tsVzPm8R8Pt0f0urdeazx7yVAlHifDOO+\/c3t6Oq4RalSeKoug+zmzj3XxXr1YJK3saT++gnUfSVILhsFE7l1ZnffVFqASf8ZuphE1PjPk2n53Jera6Ova2cz0za7roBN6j1v6uYM7nHRpul+53ab1WfXbIUCXoEiF0jEtTqaVNK0wl9GlPDDK02zNkOrqzrCpfWM499WtVlFXdp2r6nUqVp4znFhQatIb0qh6qZrtnsM5np+ey9WvnoQDb\/d7jddtCVfC6aKxSjg21OvrJyMEt3bMjbLxVqNdIy5KQ80N3IbY1s+s1kq3fziUVPwSaaYYzF18d3pPfvDoWVzZ0cfU+nmzHyUyW1nROh7Ow1me0jjfX6c8z+4FQeed544zuN3I0IXmV8NFHH7355puffvrpcY8lEQ5XpxIOzpWmn+r90DW2s6lKp9\/2mlSr\/mow89E6tZkFBXsH046QTu\/N89npSTTuYTdBIFtjX0glOC4aS+jurJUx0g6eC3rGvikKtZ05jjinhs8Sr51u5q55M+s1abP3fFtT8akWGaaGz7k6vCe\/T8aed3F5jAxeOqbnxzNZXtPpDmd2rc9onVC2k5\/n9QPBo873xsLud2m9Vn62SV4l3N7evvPOO0eh4EqEw5WrhO7RGiPf0M7hzJw3TJqHdUfMKN1TkK93MJMHDDt0JfX5zJkvChzm3AmMHW9fzSGV4LhoLKFrwzzPaHcnzi3P7O7Y+jxmyaRnfKJqsl4LbDacubbiVou4eZ5xdXhP\/gVKa87FZVXcm2TU85vUdPKSP7PWs1vHYNGN87x+IDBun+mNc7rfpfVa+dkmeZVwOBx6oeBKhAMq4UIqoc80ikqYeXMwWp2hOG8g0Z\/tsctyukJvvYz6+BN6bJivEkIVP0slTFgymvmYeaP1WmBzl+NmFddaxGt\/TJUwfXEFk4x7fpOa7q0S+oxDrRPMdvLzgn5Au2BnV2FLlbCoXis\/2+SgEg6dUHAlwuHKVcKhNqNb\/bUxttMnnUOTiN1xRj5zS9cK0i6dIdfZMw7jE42eRKOHeaK1Y0K7+85bBa+LrITm7bttg7ff9HrGL6DCbTeqEiYsGc\/cMW9uvSZt9p5viyrubSYrgZvnmVeH7+Sf6cNZF1fwHHB1RdDzm9R08pJfcOYsb51ArtOfl\/UDztFne2Np9xs3lJCLSlh5zCFblaAH6KZ21v2jZJ7HZ0LXk1KlGfmbUbq3oG5noZQ9Za7lf\/rfvYnq9njs9PVRvup0tpZKOV\/6sy2cqttV8LnISahVyrVhZDg3cxlcPf2QlVloUIhY3vA6P9C9WObNr9dItt7zbXHFPc3kNqWb5+Krw3vy+2Xu6otraEcnybjnN6np5CU\/v9bnto6efMlt86x+wDVglTfO6X6jhhJQCSu4rncvzhx+I2BaNiqKQ4mWFpIYuxq\/U+abZHuxVltZ0DYX10Wuxw1dun3rLL9r3r7h9iBqJCEDlcA6DhfDCZmLUAla\/O6EY6efmYedfbwodjV+p8w3yfZirbayoC0urgtdjxu6dNvW0buCOZ83seECJ9jSeq357CVtlRCXa1MJDiJUAkCOyFUJcG2IGXH8oBIElQsAANeG8BEHlSCoXAAAuDaEjziDSvgCAAAAQINYgqByAQDg2hA+4qASBJULAADXhvARB5UgqFwAALg2hI84qARB5QIAwLUhfMRBJQgqFwAArg3hIw4qQVC5AABwbQgfcVAJgsoFAIBrQ\/iIg0oQVC4AAFwbwkccVIKgcgEA4NoQPuKgEgSVCwAA14bwEQeVIKhcAAC4NoSPOKgEQeUCAMC1IXzEQSUIKhcAAK4N4SMOKkFQuQAAcG0IH3FQCYLKBQCAa0P4iINKEFQuAABcG8JHHFSCoHIBAODaED7iDCrh1T\/4J2xsbGxsbGxs\/WaohBgyBQAAAISCSkiezz777AqLzgxpnpRmDwDEApWQPKiEDJDmSWn2AEAsUAnJg0rIAGmelGYPAMQClZA8qIQMkOZJafYAQCxQCcmDSsgAaZ6UZg8AxAKVkDyohAyQ5klp9gBALFAJyYNKyABpnpRmDwDEYp5KqFVRFEVZNXuZUas9c8+bcIe+3KtNVS5JctGxZPeTMCaLPelvKV+LL2zTM+0BgEyZoxJqVRSq3tUMVML5bKkSNit6cy5wEsZkhSf1Vt6sxVEJAHBkpkrYewhHJZzP1aiEnM8QVAIAyGRaJajixKn7aaqy29Pd29WqKJUqi0LVx36qPh2j6uHwrvfydmrDzlrZucM4s1SCp9WGnWVVuQ2hpwk1RbhoJ63XAMfa7iyyMqjDJ+Exs5G0XaUqZZ6H40Ze+uTzerJWxiU2NKWquz2DZ4p+Z903q3XFhfww1x4AuEKWxhK0wO8w31kro0sqtN364K912WGV4CsUxpihEoKtdtzZVGVhN8Ss2exA0W5arwGutT4pWauyaoJ3zMO342m1s0+rtGOklfBy+D3Zy4RalWXZN4zpEPvydJrXOA0cPyyxBwCuj4UqoalKrXPpOrFQzHNSEPh2OveNMM60SvC2WjfaGEcGkiwr2k0bMsC943ciH8Zd8vpvRyroSXg5gp48KYKyqo+f+2Ybv6C8ByyYm0AlAMARYSphyN8YxGCEVFVCyFpvDlt9O6ESos1yhaMyZdUcIxtNVap6aDVUAgBcgpUzDiOTCKHPWmc8xIm7b5cFvOFwOGfGwRd8v+iMg3cwtk+z4HTA2m9DFXQTXo5QIzZVqc81KNVPhaASAOASLP+NwxCYna8MzM\/9nIJSTv\/VP1CnFLGEeSx8elHzat0\/yOZ9enGY+1n+9KKT1mtAyNqDGf+3Zw3WfDtaQTvh5Qh6UhczhrAZKnKqRrCmqAQAOB\/evZg8G3To5wbbGUu2QponpdkDALFAJSTP+g797FA7Y8lWSPOkNHsAIBaohOQ5t0PfILzOWLIV0jwpzR4AiAUqIXlY7SkDpHlSmj0AEAtUQvKgEjJAmiel2QMAsUAlJA8qIQOkeVKaPQAQC1RC8qASMkCaJ6XZAwCxQCUkDyohA6R5Upo9ABALWyV8+3O2xLa2ba+w6Mw2aZ6UZg8bG1usDZWQ\/IZKyGCT5klp9rCxscXaUAnJb6iEDDZpnpRmDxsbW6wNlZD8hkrIYJPmSWn2sLGxxdqiqYQP3yuLt+tvf16\/9ZXqw23yrN8qync\/PjetY8b7bxdvvNf4be5eWfh+IMP33z6tbPTux558tt3O69A\/\/Lh+3\/LVx837Hyyzk7Fkq02aJ6XZw8bGFmvbXyV83Lz\/QX3cPvy431m9cRqVI6oE\/XivGc27X9Ey7G3+oDruDA3\/zn4zn623Mzv0D1RhVvkMNcNYstUmzZPS7GFjY4u1zVUJ\/\/F3X0\/ucbbm3a+Ub7xduSrhw\/fKbkCSrBIO3\/5AFW\/Xjs1uLcxs3ay0fDbfzu3QLXedE4lhLNlqk+ZJafawsbHF2maphB\/+a8+ffvXmW9+77\/d863v3T7968yPvvxjJ+sP3yrc+8H7lvbeu3yrKdz+o3iiKoigGDVGUb71dnmL7H5++LYpiyPnjPknVjXPm8D98bt79Sp+8nzUoxsbvIebh2Hy6F2\/e\/Upn7XHPB6p4W50y7+XCkM\/229kd+ofvlUVRvPGV8o2vlG+M+2HrotmEe1KaPWxsbLG2aZXwK589PP3qzfeVj3uhcJQIxz2\/8tlDKOv33w7dm9ZveWb067f6YfXj6o1hvNcVQycOzAOOOz98ryzGVII2nH9ufTWy9aaaNhuj\/vGr7oAPVGeGHsP3Vnmb7fwOXavF+28XAUm3T9Fssj0pzR42NrZY26xYwi+3d70s+OZ3by3RENrCsYSQShjG7G7Q0nZ+XL2hpTodYI\/WYZVgJndL\/LaWsyYm+hCCabM1g\/CBGsIb+lfD5x0fTVjRoXdWeZyzd9Fsoj0pzR42NrZY29znEvr4wZ\/600\/mSIRvf3749uf1W\/7nEiZVQvPuV+KohPffLt56r3prUAmBWIK1TasEkbGEzsLAAxY7F80m2JPS7GFjY4u1LfiNgz7RMEMidNvHtaMSQs8ldDfxw4hujff6jEN\/gDvj0IsMPf4\/e8bhY00lhJ5LMDSHOeNgznEMBst7LqF3whvnxjkYS7bapHlSmj1sbGyxtmW\/hPzW9+5\/5P2Xv9zezcr9A3V6Mq7b+gkI381r\/6Ci\/nCiOZAPTy9qOz9Qhf304rCzeFtZOkPP\/\/RWA+upPV0lhH7jMKiEQXx8+F6pPVdh5izxNw6n7f23i+JcBcNYstUmzZPS7GFjY4u1RXqrkufees07kTa2rVMJgfclLN5Evi8h8aIz26R5Upo9bGxssbbo717s94hRCd32\/tt2mMGx+cx8tt1QCRls0jwpzR42NrZYm5x1HMSphFQ2VEIGmzRPSrOHjY0t1iZHJbCduaESMtikeVKaPWxsbLE2WyW0AAAAAG3btq2tEiA52ra9wqIzQ5onpdkDALFAJSQPKiEDpHlSmj0AEAtUQvKgEjJAmiel2QMAsUAlJA8qIQOkeVKaPQAQi2RUQlOVhaoPh1qVVTM3Ua2KBUdvisdO15qhUqd3Qqo6mN3ppZNVY+eTh0o4q33HWdP6l2u+I9JGZWn2AEAsElEJTVWeetbNVcJOSsJr51AN47+66urmN8XZb+STmEpomrqjcV0RUyXox1+u+Y5IG5Wl2QMAsdhdJbx+\/XpyzyRat5q0SjgcatXfcLpjhWf0CGWl5ZOOSmiqsixV5aqEc9t3nM1Vwi7Nd0TaqCzNHgCIxb4q4fnz5zc3N\/f39\/2e+\/v7m5ubFy9ejKTqA7hdT+rtfpuq1I8yu\/jT51oVZVWfDuy+1hMORfW5mEXXqiirSosX+0v37PAzVMWp1Mnqpiq7go57alUoZVugpU5FJTRVGXCNt329bVerolSqPDl58Lnm9KZPUhmngX1uHMbPhGAdtm6+I9JGZWn2AEAsdlQJDw8PNzc3jx8\/7oXCUSIc9zw8PExloA\/2Ts9t7wuphK5r7nvvsYTeortho1bdJ20kcDOZuBnuizftMIaN41fdAbUqzHHHqr8slaCN3NaYG3aMr329baf7QmsP64ChkcZUwmgjBtm++Y5IG5Wl2QMAsdg3lnB3d9fLgtvbW0s0BBnu68IqQRsEujSBWILZeY8m9BbtZNs9tGYZ4xkYPQUMs9lGpawqauLE+Gr4PIxLslRCmHAsIaQSnLbTd5qtMDSukWhJIwZUwt7Nd0TaqCzNHgCIxe7PJfTxgydPnsySCEP3HeiRrWMnZxwaO99gQn\/RM1WC38JaFaqqlCFDfDejbrKJYUZqLGGMWvmfS5hUCb1\/L60SLtB8R6SNytLsAYBYXOI3DvpEw4REOHhDwoHHwg4H7Tut1x9ivFq01xkVuoRmGNgT4p4ZrA5HqxttmAlNbBvmmSFrs1z3XlSWSgjPOHQH1I5KCD2X4Lad1Rz6jINvWsj125Dr7BmHnZsv6MmoSLMHAGJxoV9C3t\/fv3z58u7ubsax\/eNnSgUfFfM8ZzjsUUq\/iVSqtJ9HdB5Q7P5ziw49+Obkoo+O1sCoDzPaPaRRKSOM4ZNJziR\/er9xqFVpood2nPHZ13Zu+PcjMqMAACAASURBVN+YHuoOOe2qDP1nnxsHtxG1M0Fj5+Y7x5P7I80eAIhFcu9LSJBhmAn84P6MHNN9X4IXvwyU0eQ7N98RaaOyNHsAIBaJqISxqf9k0ELkJ86rlJVPDirB4woxKqFjp+Y7Im1UlmYPAMQiGZUAIfJQCQ7iVMKuSBuVpdkDALFAJSRPpirhupDmSWn2AEAsbJXQAgAAALRt27bEEpKnJZaQPtI8Kc0eAIgFKiF5UAkZIM2T0uwBgFigEpIHlZAB0jwpzR4AiAUqIXlQCRkgzZPS7AGAWKASTnS\/fR\/e0hf6IXx\/hPFDPe1X8Bf+DR8qIQOkeVKaPQAQC1TC4XDQV3eqnEV+7SMr+23BTVUeX\/07+sbh3UAlZIA0T0qzBwBiIVclvH79enLPVrij+oxx3jpkdCnhPUElZIA0T0qzBwBiIVQlPH\/+3FpA8riw5IsXL0bTDev\/GOv3FOZsQKXMKQNHEtirFnvnICwhYP57wWgCKiEDpHlSmj0AEAuJKuHh4cFaaVpfe\/rh4SGQzl0LuKfWVonUFUT\/KTTAG+tKW6EDR1mERcOeoBIyQJonpdkDALGQqBIOh8Pd3V0vC25vby3R4Me79s4QTBhZCTo8WaCvB22uEu1b6Vgv\/XLBBFRCBkjzpDR7ACAWQlXCQYsfPHnyZFoiHHwqYdgzPJ04rRLG8wwO\/8QS4HykeVKaPQAQC7kq4WBONExIhMPBc4tv\/AphRCWYA7+hDGrl\/uLRP\/rzXAKcjzRPSrMHAGIhWiUcDof7+\/uXL1\/e3d3NO9x6WrGbMCiVGoslmGO6FT\/QJx1UbU1BaEqA3zjA+UjzpDR7ACAW0lXChdj41p\/3JcAypHlSmj0AEAtUwgnvs4\/nob2G8RKgEjJAmiel2QMAsUAlJA8qIQOkeVKaPQAQC1RC8qASMkCaJ6XZAwCxsFVCCwAAANC2bdsSS0iellhC+kjzpDR7ACAWqITkQSVkgDRPSrMHAGKBSkgeVEIGSPOkNHsAIBaohORBJWSANE9KswcAYoFKmEv3QoX+9Y7BVyL0R1hrSPb7nPUkV4FKyABpnpRmDwDEApUwj2G5qOo4vgdH+qaqTvJhOMQ5eMuXM6ISMkCaJ6XZAwCxQCXMwh3VZ4zz2kKU7qHbLfSASsgAaZ6UZg8AxAKVcDgcjCWdlBYJUKosClW7kkAPDgxprWG\/EwK1KpRS1iTEdtEEVEIGSPOkNHsAIBaohIOx8IKxxnQ\/po+sCq3pBTNkYMw3eKYeNgsmoBIyQJonpdkDALFAJdgLPWkRAH2N6cCq0NZK0o7WsI8fPm8WTEAlZIA0T0qzBwBigUpYrhLCabtdzvSERyUQS4ABaZ6UZg8AxAKVcHBmHI4frUcPtIHfUAb6xES3wx79+6y0lDyXABrSPCnNHgCIBSrhcDjoEwd6\/GAYxo0x3Yof6JMOqramIE6p+r2eoMJaUAkZIM2T0uwBgFigEuax5QsONs4OlZAB0jwpzR4AiAUqYS6eJxDORZvh2ABUQgZI86Q0ewAgFqiE5EElZIA0T0qzBwBigUpIHlRCBkjzpDR7ACAWtkpoAQAAANq2bVtiCcnTEktIH2melGYPAMQClZA8qIQMkOZJafYAQCxQCcmDSsgAaZ6UZg8AxAKVkDyohAyQ5klp9gBALKKphO71A+ZCiudwysF4V6JVhH9lZz0L+82L3d5h0YUtX6q0KaiEDJDmSWn2AEAs9lcJTVN3NPpSCP1ayhupBM9qC6cloCtn1WbLwqqqu6y0BRcKpczFH4XqhLUdureBLlM0dEjzpDR7ACAWc1XC69evJ\/c4NFVZlqpyByFtyN1QJRiLI7ij+oxx3jokvGC0JFZ06MEG2r9oMJDmSWn2AEAsZqmE58+f39zc3N\/f93vu7+9vbm5evHgxknVTleHllr3j9bBSUr8sozlXUKuirCrlmR2wM\/Yt36wv8eifg7CEgPmv1GjC2R16uIF2LxospHlSmj0AEItplfDw8HBzc\/P48eNeKBwlwnHPw8NDKOtwlMB7V95UZWjuvx\/ha2UoCDeTPueRAV7TC6aJzpTEqGgQw9kd+vowDmPJVkjzpDR7ACAWs2IJd3d3vSy4vb21REOI8K2qb7j1LqY0BBN6leBf2VnLpT8yMFlgLe182u\/VKJadQoMJxBIyQJonpdkDALGY+1xCHz948uTJHIlwOBwOh1r5p73nqYRhjz72j6uEQCxhvKDg8J95LCHcQBcoGgykeVKaPQAQiwW\/cdAnGmZIhI7hCfp+EPKOys7dvPGDg3kqIfRcgqEMauX+4tE\/+mf+XMIJTwNdqmjokOZJafYAQCyW\/RLy\/v7+5cuXd3d3s\/KuVWky9bNC62nFbm6gVGpmLCH0GwcrfqBPOqjamoLQMs39Nw7hBtq9aDCR5klp9gBALCK9VWmX+\/LA+xL2yFwSvFUpA6R5Upo9ABCL6O9e3Az3Rw8bFuH\/RYUMUAkZIM2T0uwBgFiwjkPyoBIyQJonpdkDALFAJSQPKiEDpHlSmj0AEAtbJbQAAAAAbdu2LbGE5GmJJaSPNE9KswcAYoFKSB5UQgZI86Q0ewAgFqiE5EElZIA0T0qzBwBigUpIHlRCBkjzpDR7ACAWuamE7h0J\/Wscg2856I+w39ZsLFMt8j1KJqiEDJDmSWn2AEAs8lIJw7JQ1XF8D470TVWd5IOxXEShlLl8ZAI6AZWQAdI8Kc0eAIjF7irh9evXk3u2wh3VZ4zz1iFprN2gg0rIAGmelGYPAMRiX5Xw\/PlzawHJ48KSL168GE03LMDUrwNtTiDUqiirSplTBo4k0CMJdpb6QeHloVOIJqASMkCaJ6XZAwCx2FElPDw8WCtN62tPPzw8BNI5S0gP9MN+rQwF0X8KDfCaXqiVFTpwlEVYNIgElZAB0jwpzR4AiMW+sYS7u7teFtze3lqiwY93jaYhmDCyhHR4ssBaHPq03ytHLFmQQDABlZAB0jwpzR4AiMXuzyX08YMnT55MS4SDTyUMe4anE6dVwnieweGfWEIaRWeGNE9KswcAYnGJ3zjoEw0TEuFw8NziG79CGFEJ5sBvKINaub949I\/+PJeQRtGZIc2T0uwBgFhc6JeQ9\/f3L1++vLu7m3e49bRiN2FQKjUWSzDHdCt+oE86qNqagtCUAL9xSKPozJDmSWn2AEAsMn1fgsjsdgKVkAHSPCnNHgCIRV4qIfDs43lor2EUDSohA6R5Upo9ABCL3FTCFYJKyABpnpRmDwDEApWQPKiEDJDmSWn2AEAsbJXQAgAAALRt27bEEpKnJZaQPtI8Kc0eAIgFKiF5UAkZIM2T0uwBgFigEpIHlZAB0jwpzR4AiAUqIXlQCRkgzZPS7AGAWFydSuheqNC\/3jH4SoT+CGsNyX6fs55kHFAJGSDNk9LsAYBYXJlKGJaLqo7je3Ckb6rqJB+GQ5yDRbycEZWQAdI8Kc0eAIjFdakEd1SfMc5rC1G6hwpY6AGVkAHSPCnNHgCIRV4qQVvESWmRAKXKolC1Kwn04MCQ1hr2OyFQq0IpZU1CCIgmoBIyQJonpdkDALHISSVoCy8Ya0z3Y\/rIqtCaXjBDBsZ8g2fqIX4wAZWQAdI8Kc0eAIhFRirBXOhJiwDoa0wHVoW2VpJ2tIZ9\/PA5fjABlZAB0jwpzR4AiMUVq4Rw2m6XMz3hUQnEEmADpHlSmj0AEIuMVII943D8aD16oA38hjLQJya6Hfbo32elpYwfSkAl5IA0T0qzBwBikZNK0CcO9PjBMIwbY7oVP9AnHVRtTUGcUvV7PUGFaKASMkCaJ6XZAwCxyEslTLLxrb+ASAIqIQukeVKaPQAQiytTCd4nEM5Fm+GICSohA6R5Upo9ABCLq1MJ+YFKyABpnpRmDwDEApWQPKiEDJDmSWn2AEAsbJXQAgAAALRt27bEEpKnJZaQPtI8Kc0eAIgFKiF5UAkZIM2T0uwBgFigEpIHlZAB0jwpzR4AiAUqIXlQCRkgzZPS7AGAWERTCd17C7QVGGtlvDVxMf1rFs1VHc3vPAb4F4wejrK\/ro3lo92cLwwqIQOkeVKaPQAQi\/1VQtPUHY2+hkK\/CLO2MPO6dxSNqQTPIg6nYytnMWgjzzq4MIS+rENMnbC2Q\/c20GWKhg5pnpRmDwDEYq5KeP369eQeh6Yqy1JV7iCkjau6Slg51o6rBGPNBXdgnxrqu8SG6SIWhlzRoQcbaP+iwUCaJ6XZAwCxmKUSnj9\/fnNzc39\/3++5v7+\/ubl58eLFSNZNVYbXabZG5D7s76yrpAcYRneWVTWhM4ZifatCl1VzaKqy8IuWQQcMUYgx0XFBzu7Qww20e9FgIc2T0uwBgFhMq4SHh4ebm5vHjx\/3QuEoEY57Hh4eQlkH7ugPgVtvfVi21oDuR+WxnU1VTj3U0JdrGmCM8cevDFFgP7TQ6RJtX8xgwtkderiBdi8aLKR5Upo9ABCLWbGEu7u7Xhbc3t5aoiFE+FZ1SiWYKzKdjg7tNAZ4e9gzd\/nCAK45tfI8ylirkwTxzjhEDSYQS8gAaZ6UZg8AxGLucwl9\/ODJkydzJMLhcDgcauWf9r6QSqhVoapKDbsCsQTXEN9zlMc0nrjDZIY7s6JDDzXQBYoGA2melGYPAMRiwW8c9ImGGRKhY3iCvh+EvHfeIzMO\/dA+ttM\/49BoKiH0XIKhP8wZh+4nDoN5mpnDxzSfSzjhaaBLFQ0d0jwpzR4AiMWyX0Le39+\/fPny7u5uVt61Kk36odg3qjqTA+bjjMGdw9sLfE8v6iohNEMwqITheYfTJ9\/zkp5XKCT6G4dwA+1eNJhI86Q0ewAgFpHeqnSxm+9BJQTel7BJGUm\/LyHNojNDmiel2QMAsYj+7sUL4b6zaSsD1r8NaiWohAyQ5klp9gBALFjHIXlQCRkgzZPS7AGAWKASkgeVkAHSPCnNHgCIha0SWgAAAIC2bduWWELytMQS0keaJ6XZAwCxQCUkDyohA6R5Upo9ABALVELyoBIyQJonpdkDALFAJSQPKiEDpHlSmj0AEItUVUL3toN+yengKwv6I6yFoPt9nkWikgKVkAHSPCnNHgCIRZoqYVjcsTqO78GRvqmqk3wYDnEOjvzyxJWgEjJAmiel2QMAsUhSJbij+oxxXls22rvUVNT3J64BlZAB0jwpzR4AiIVIleBZY6lWRalUWTirN3dfdjs8azH1Bx2XeVSFUsqahEg5moBKyABpnpRmDwDEQqBKsFaI7gIAhb5is6YAjAHeWNfZehBhmG\/wTD0kHExAJWSANE9KswcAYiFPJZirMGkRgH7QN0d0\/T8tCKFFEwatYR8\/fE44mIBKyABpnpRmDwDEIn2VEE7b7XKmJzwqgVhCYkVnhjRPSrMHAGIhTyXYMw7Hj9ajB9rAbygDfWKi22GP\/n1WWsqEQwmohByQ5klp9gBALASqBH3iQI8fDMO4MaZb8QN90kHV1hTEKVW\/1xNUSA9UQgZI86Q0ewAgFiJVwiQb3\/qnHElAJWSBNE9KswcAYpGmSvA+gXAu2gxHkqASMkCaJ6XZAwCxSFUlQA8qIQOkeVKaPQAQC1RC8qASMkCaJ6XZAwCxsFVCCwAAANC2bdsSS0iellhC+kjzpDR7ACAWqITkQSVkgDRPSrMHAGKBSkgeVEIGSPOkNHsAIBaohORBJWSANE9KswcAYhFNJXQvPDCXbhzjdKTxFkYrK\/+a0XoW9jsdtZ1l1Xgylw8qIQOkeVKaPQAQi\/1VQtPUHY2++EK\/evNCleBZx+G0uHTlrAdtWVJVdZeVZ\/Fo27JUWNuhexvoMkVDhzRPSrMHAGIxVyW8fv16co9DU5VlqSp3ENKG4jNUgrHsgjuqzxjnB2XhKT21NR1WdOjBBtq\/aDCQ5klp9gBALGaphOfPn9\/c3Nzf3\/d77u\/vb25uXrx4MZJ1U5XhBZ5947i2NJPSbvqVKu1JhCED38LQ+uKR\/jkIbT1qpZQ1CZFaNOHsDj3cQLsXDRbSPCnNHgCIxbRKeHh4uLm5efz4cS8UjhLhuOfh4SGUdThK4L1btxaM7u71C+\/0QZ+DmZUxwGt6wTTFmG\/wTD0kFkw4u0OfH8bZvGiwkOZJafYAQCxmxRLu7u56WXB7e2uJhhDhW1XfMGwu36Td7HtHMm3KQM9K\/89aNNoRIPbxw+fEggnEEjJAmiel2QMAsZj7XEIfP3jy5MkciXA4HA6HWvmnvderhEAsIZxht8uZnvCohGuJJYQb6AJFg4E0T0qzBwBiseA3DvpEwwyJ0DE8Qd8PQt6bdWvGoRcBgScYQr93MIZ9M7Fn9O\/z11ImFkpY\/xsHt4EuVTR0SPOkNHsAIBbLfgl5f3\/\/8uXLu7u7WXnXqjTRZwM8A\/EwR6D\/mGH0sQQrKyt+oE86qNqaghhkhvWAY2KhhBUderiBdi8aTKR5Upo9ABCLSG9VWnW\/HnhfwjakFkngrUpZIM2T0uwBgFhEf\/fiYrSZibVZzclcPqiEDJDmSWn2AEAsWMcheVAJGSDNk9LsAYBYoBKSB5WQAdI8Kc0eAIiFrRJaAAAAgLZt25ZYQvK0xBLSR5onpdkDALFAJSQPKiEDpHlSmj0AEAtUQvKgEjJAmiel2QMAsUAlJA8qIQOkeVKaPQAQi1RVQveOhFr514Ye6I+wloXs94XWikgFVEIGSPOkNHsAIBZpqoRhScjKWffZPrI6yQdjvWjz4PTet6iDSsgAaZ6UZg8AxCJJleCO6jPGeW2xae9SU6m9crEHlZAB0jwpzR4AiIVIlaCty6S0SIBSZVGo2rsAdL9jSGsN+9pi1EopaxIi5WgCKiEDpHlSmj0AEAuBKsFaQroLAAxjunnjbwzwml4wQwbGfINn6iHhYAIqIQOkeVKaPQAQC3kqwVy7SYsA6MtJayO6\/p+1OLSjNezjh88JBxNQCRkgzZPS7AGAWKSvEsJpu13O9IRHJRBLSKzozJDmSWn2AEAs5KkEe8bh+NF69EAb+A1loE9MdDvs0b\/PSkuZcCgBlZAD0jwpzR4AiIVAlaBPHOjxg2EYN8Z0K36gTzqo2pqCOKXq93qCCumBSsgAaZ6UZg8AxEKkSphk41v\/lCMJqIQskOZJafYAQCzSVAneJxDORZvhSBJUQgZI86Q0ewAgFqmqBOhBJWSANE9KswcAYoFKSB5UQgZI86Q0ewAgFrZKaAEAAADatm1bYgnJ0xJLSB9pnpRmDwDEApWQPKiEDJDmSWn2AEAsUAnJg0rIAGmelGYPAMQClZA8qIQMkOZJafYAQCyiqYTuhQfm0o1jnI403sJoZeVfM9o4UD\/CejNjUSjlZC4fVEIGSPOkNHsAIBb7q4SmqTsaffGFfvXmhSrBs47DaXHpylkP2s6htpeH0Mw8ZZPeexjXdujeBrpM0dAhzZPS7AGAWMxVCa9fv57c49BUZVmqyh2EtKH4DJVgLLvgjuozxnl32QZtT2prOqzo0IMNtH\/RYCDNk9LsAYBYzFIJz58\/v7m5ub+\/7\/fc39\/f3Ny8ePFiJOumKsMLPHvG8X7CQF8R0j+FMGTgWxhaXzzSm4FPJATWkkqAszv0cAPtXjRYSPOkNHsAIBbTKuHh4eHm5ubx48e9UDhKhOOeh4eHUNbhKMH43Xo3zo8d1X9nHmQM8Jpe6Ew5yYaw6JhhnjjO7tDnh3E2LxospHlSmj0AEItZsYS7u7teFtze3lqiIUT4VjUwDA\/BhO4JgSL0hMHwMIKRlf6f9WiiXmCtjIxtQxMLJhBLyABpnpRmDwDEYu5zCX384MmTJ3MkwuFwOBxq5Z\/29qmE4YlCY5A+jvXO0YFYgj9Dr2WGnJiakBDNig491EAXKBoMpHlSmj0AEIsFv3HQJxpmSISO4Qn6fhDy3az38wNNVZoRBM\/RoecSDGVgRQyGnzg4Dy+Y2ScWSlj\/Gwe3gS5VNHRI86Q0ewAgFst+CXl\/f\/\/y5cu7u7tZedeqNNFv352BuJshKJUqu+cSQu8\/CP3GwYof6JMOqtb\/DcxS+HcI5\/wOPdxAuxcNJtI8Kc0eAIhFpLcqrbpfD7wvYRtSiyTwVqUskOZJafYAQCyiv3txMbWygwtnZzUnc\/mgEjJAmiel2QMAsWAdh+RBJWSANE9KswcAYoFKSB5UQgZI86Q0ewAgFrZKaAEAAADatm1bYgnJ0xJLSB9pnpRmDwDEApWQPKiEDJDmSWn2AEAsUAnJg0rIAGmelGYPAMQClZA8qIQMkOZJafYAQCxSVQndOxL6FzSOLdmgLSFl7Syrxnhdc4qgEjJAmiel2QMAsUhTJQxLQlbH8T040jdVdZIPwyHOwem9b1EHlZAB0jwpzR4AiEWSKsEd1WeM89pi0+6hqa3doINKyABpnpRmDwDEQqRK8CzLVKuiVKrsVm0yx3lriUf\/HEQnBGpVKKWsSYiUowmohAyQ5klp9gBALASqBG0thWEVaX0ZaPPG3xjgNb1ghgyM+QbP1EPCwQRUQgZI86Q0ewAgFvJUgrl2kxYB6Ad9c0TX\/9OXii48WsM+fviccDABlZAB0jwpzR4AiEX6KiGcttvlTE94VAKxhMSKzgxpnpRmDwDEQp5KsGccjh+tRw+0gd9QBvrERLfDHv37rLSUCYcSUAk5IM2T0uwBgFgIVAn6xIEePxiGcWNMt+IH+qSDqq0piFOqfq8nqJAeqIQMkOZJafYAQCxEqoRJNr71TzmSgErIAmmelGYPAMQiTZXgfQLhXLQZjiRBJWSANE9KswcAYpGqSoAeVEIGSPOkNHsAIBaohORBJWSANE9KswcAYmGrhBYAAACgbdu2JZaQPC2xhPSR5klp9gBALFAJyYNKyABpnpRmDwDEApWQPKiEDJDmSWn2AEAsUAnJg0rIAGmelGYPAMQimkroXnigLd1YK+N1i4vp389oLgdpfucxwL\/StJZSe2+jm090UAkZIM2T0uwBgFjsrxKapu5o9MUX+tWbtRWd173caEwleFZ\/OB1bOatIm4nshSTEvahxbYfubaDLFA0d0jwpzR4AiMWuKqGpyrJUlTsIaSOtrhJWjr7jKsFYrMEd6r2Dv75TFzai3tW4okMPNtD+RYOBNE9KswcAYrGjSmiqMrzAszUi92F\/Z0EmPcAwurOsqgmdMRTrW066rJpDU5WFLlpqr0oQFk04u0MPN9DuRYOFNE9KswcAYrGjSgjc0R8CN+N6LMFaPLp\/JGBsZ1OVUw819OWaBhij\/vGr7gAz+yH+ISmYcHaHHm6g3YsGC2melGYPAMQiSixhSiWYSzmdjg7tNAZ4e9gzdw0PIxgGWObUSo9V9KEKpUrNPkHBBGIJGSDNk9LsAYBY7PpcQq38094XUgm1KlRVqWFXIJbgGuJ7jlJLk0ksIdxAFygaDKR5Upo9ABCLC\/zGoXYGIe+9+MiMQz+0j+30zzg0mkoIPVlg6A9zxsFrnaxQwvrfOLgNdKmioUOaJ6XZAwCx2FMl1Ko00cP4E280GB5UnNo5vM\/A9\/SirhJCv3EYVMLw8EH3yfc2BVmhhBUderiBdi8aTKR5Upo9ABCLSG9Vutjt+KASAu9LOCNHUZEE3qqUBdI8Kc0eAIhF9HcvXgj3nU3nGbD+3U+bg0rIAGmelGYPAMSCdRySB5WQAdI8Kc0eAIgFKiF5UAkZIM2T0uwBgFjYKqEFAAAAaNu2bYklJE9LLCF9pHlSmj0AEAtUQvKgEjJAmiel2QMAsUAlJA8qIQOkeVKaPQAQC1RC8qASMkCaJ6XZAwCxiP6+hJULE3qSu4s+DWW5L1I0j\/J8rb0hwbOclABQCRkgzZPS7AGAWFxgHYfGs0zA8ALD7VVC8DWLddUV6R3s69peJKKpyqJQSnshs7gXLx42WMfB10CXKRo6pHlSmj0AEItdVUJTBZYc1AbbPVRCeMmGwJ5gYvdfYYs4HFZ16MEG2r9oMJDmSWn2AEAsdlQJTRVaPWjOmpDDokvGLEBgWiBcglPWKe9hYSc7tmDrAPN\/edGEszv0cAPtXjRYSPOkNHsAIBY7qoRwlMB7P+5TCZ4Be2YMok85Msbbi0SfFIht2mhoQQBnd+grwzhrigYLaZ6UZg8AxCJKLGG2SmiqUl8leggkeKIJzsrTp4cRxuYLauVXBWOxBXHBBGIJGSDNk9LsAYBY7PpcQq38096zVcLhcOi0garHlnGsVaGqfpHoQzCW4CbzTV1MKYtMYgnhBrpA0WAgzZPS7AGAWFzgNw61Mwh5b8c1CWDfzfcJnC\/MDJSuLLzPJRg6w5xx6H7iMPGcgrhQwvrfOLgNdKmioUOaJ6XZAwCx2FMl1Ko0mfhB4fA6AzU8l2DNLuiTDtYtva4SQr9xMH\/lODwhWVaNlrMzlZHpbxzCDbR70WAizZPS7AGAWER6q9Ied+SDSgi8L2GTMqRFEnirUhZI86Q0ewAgFtHfvbg92ssSNy7LzVkCqIQMkOZJafYAQCxYxyF5UAkZIM2T0uwBgFigEpIHlZAB0jwpzR4AiIWtEloAAACAtm3bllhC8rTEEtJHmiel2QMAsUAlJA8qIQOkeVKaPQAQC1RC8qASMkCaJ6XZAwCxQCUkDyohA6R5Upo9ABALVELyoBIyQJonpdkDALFAJSQPKiEDpHlSmj0AEAtUQvKgEjJAmiel2QMAsUAlJA8qIQOkeVKaPQAQC1RC8qASMkCaJ6XZAwCxQCUkDyohA6R5Upo9ABALVELyoBIyQJonpdkDALFAJSQPKiEDpHlSmj0AEAtUQvKgEjJAmiel2QMAsUAlJA8qIQOkeVKaPQAQC1RC8qASMkCaJ6XZAwCxQCUkDyohA6R5Upo9ABALVELyoBIyQJonpdkDALGwVUILAAAA0LZt2xJLSJ6WWEL6SPOkNHsAIBaohORBJWSANE9KswcAYoFKSB5UQgZI86Q0ewAgFqiE5EElZIA0T0qzBwBigUpIHlRCBkjzpDR7ACAWqITkQSVkgDRPSrMHRE+UAQAACgdJREFUAGKBSkgeVEIGSPOkNHsAIBaohORBJWSANE9KswcAYoFKSB5UQgZI86Q0ewAgFqiE5EElZIA0T0qzBwBigUpIHlRCBkjzpDR7ACAWqITkQSVkgDRPSrMHAGKBSkgeVEIGSPOkNHsAIBaohORBJWSANE9KswcAYoFKSB5UQgZI86Q0ewAgFqiE5EElZIA0T0qzBwBigUpIHlRCBkjzpDR7ACAWtkpoAQAAANq2bVtiCcnTEktIH2melGYPAMQClQAAAAB+DJXAxsbGxsbGxtZvg0r4AgAAAECj8AUYAAAAIGc+++yzOYehEgAAAK4OVAIAAAD4QSUAAACAH1QCAAAA+EElAAAAgB9UAgAAAPjZRCXUqhhQ9XmW1Kooq+ZwaKry+GEjmqo82dSZaedeq8HoWvU16AwCAAC4UrZSCd14qo2yC9lnUG6q8pRrrwWsgvojmqosCqU0yTAkBgAAuEK2VgnnD\/a7qASPSLAG\/6YqDVWjBxbs\/wAAAK6KHWIJ\/QjcVKU5CzHMTOi366dZgKpLWRsfKmeawJPEKWk49JTOUAamYjCTmLqAaAIAAFwxWz+XMIywhnQwh1pdB5xSNFVZeFRCoT1SYH8akgTv+IcvAirBTWntIZgAAADXy6axhOFBQf32XlMPg5zojjeGbl8soXGKcJNoEsMxbFQl2PLl4MgCggkAAHC9bDzjYIT43fD\/EAXYVCX02dszDtqQ73kuwasAiCUAAACc2O\/pxVpZ9\/e1\/hTBzBkHf7ZOkhPOsK\/tMH4Q2YkEjwDguQQAAIATm6sETQPokw6q1h47VKofe4d3GASeXnR\/OuEm8TwVORhjhB60g\/wigd84AAAAdKT87kV3UsN7jD8Y4HkkYX5iAACAayBhleBMafiZoyWC+RNIAACAKyY5lWBPYwAAAMBOJKcSAAAA4EKgEgAAAMAPKgEAAAD8oBIAAADADyoBAAAA\/KASAAAAwE\/btnMOQyUAAABcHagEAAAA8BNNJXzfPDYvFwAAAGYSUyWcd0zT1HUztqt7JXO\/BlTwFY3DulGNuWKVkU933PlLOjirYW3z0kjX5PNTbuW0cTap+8xMltfIqMvcc2OBwQu8tcZROzfuhWqxng2v6J0qEljOzir0\/FY7v4PwseEFNZeNOt6QTzb1z7bOXsy2Z4tVmfRUgtsc9iB8WlGyOu4LtZ6z31zbafhv\/XoOWlFbLiC19LzUjw9UdqXTxtmk7m4mTVN3NMtrdGiq6tS4wyGzz41FBs9ur7WO2rVxL1aL9Wx0Rc885dZauEerbdcGG19QbirXpRt2vCGfbHiOzrkudlMS258thmckqoRPP\/30zTff\/OijjwLHWDX1i4SewIngWxNSWydaS7W+aYccNu0516iEUGUPoT2nNKNOG2cHkdBUZVmqyu2yZ9fIe8j8c2ORwXPbawNH7di4F6zFera4omeecust3KXVvJfncqO3v6DMw3wu3bLjDfpkI\/\/EVQm7nC3aZ3Eq4SgR3nnnndvb29AxxxWfyiNGcMVxzqldmqo0ZW2tCqXsGNiQWju\/CzN6pq02ZRQb3llWlU\/S1qooq7o\/Zui\/lCpP2czNNhQrGtKreqjIKS9PZVc6zaVTtp7jdNsOhqNPVa3VsYpGaUYmTVUG9EmoRt6S9YNUffo759ywcuuz0xtxssVde5wk9menAm6Ndmzcc2sx91TvTwdPKd6TJJzJ2Vd0qAVHTrn1LbVPq\/lb0HPqjxq6wwXVEXDpth3vomiC6x+rht629p6xYz3wvB7P59+xa003at3Zon2WpRJ0iRA65nCw7wu0FjX\/M7x3\/Eo7cT3RsD65pamMbkprqqHfGdnZVGUx7NSzLbTOZEilGTM\/W38PFb6yQ5Vd47RDrUoPnoZybXONrJU+ZPhMDd+hjNdosMhyx1C3BeeGv40CtzDeFrfsGTn3nO+DNdq+cbXizqjF5KnuJneTuFUez2Sk1aavaK8HRk+5lS0VsnZlq9lGNJVSdageI5ZvfkH1h8106ZqOd8QnM\/wz0o5Wf2WdsWMJ3Z3eHm+0G\/dcaxueLcPnmCrho48+evPNNz\/99NPjHksiHMZmJTpPNNZjRWOaQW+FgDf0Gw5fn2IWdzootNNzIYW6Kr0Zp8ryZ+uctbZn7BIDlV3jND\/dvYKW2GPbqSBN5YYuReOeIXxjF6iRdvNhiXO3MQLVDFbE04iTLe6xZ0olmJ1fuEY7Ne7KWoROdTe5r0FGTpIFfpi6yoItuDCWsKylQtaubDWrBU8Di10Ry7GW5btcUEtcurbjHfHJDP94vOHtmvzXRSDhvB7P7SonrrUNz5bhc0yVcHt7+8477xyFgisRDuNPONaqULUv1BI45Q5z\/NV\/urBK6LO4pErwVnaN0w5zYwn+U7\/XznNVwqlA\/4xmoEYet4yeROPnxvkqoUvpb6ZRldCnL0I5BKx1WdK4Wpo1tZg+1WeU4jtJFvjhfJUwesqtbKmQtQ7LWi2kcrTbZY9jTct3uaC0rydduoFKCBkxwz8eb4yrBMMyf8KZPd5YV+n1r8P5Z8vwOfKMQy8UXIlwmPgdRK0KbQw6YZ6ghkNrI\/YyNIl20JBaz8dqPF0u91mN7dQEpZVtMZRmW7U0W63Fg4FaUyX4K7vGaZ42qowL0LiKjERGxiMqwVfY8HB037+M18gp2u22Fpwb3jbyavNQi1vNZDvKaVnrODeHXRv3jFrMOtWdc9VJMn2SzPTDnKssdK953Oc95Va21D6tZo2aZq6DwYE+o0u9wwVl4XHphh3vzFBCwD8eb7ht7T3JrYRajRb0eOFLw8q+\/2+Ts0X7HP+5hKNQcCXCYerXkr5rzhXDwwlje73pQjc+IaXl4wyuRpgovLPuHxMZHqKxslXKMmFGWb5s+52FUtalped\/+t93S7yJ08Yxz2XLti7fUqmxWIJzUZvo+t1XI8urRaFq\/b\/CuM7nnBveNrJvJUdb3LbHraPdsnarenLYvnGHOp1Ri0Wn+jDj4CQZP0nm+2HyKgu14Ngpt76ldrkkzc9eCeBxrGP5xheUeXEHXLplxzvjhjnsH7cdPf2t74x1Emo98Nwez98Y5lm009nSf46vElYeY+OT\/uekPD+fmYWY18Cl2aqyS1Ju4tKZmWzcfCvcdYYla43fvnFnS8FQ6qUWbHJ1bOSHnboCO+s9LsntTN\/UCeecTquYFUlImO3PFiPH7FTCWFRrDC16tSqfSbpsY6qErSrr5jPOJi6dmcmGzbfSXWdYssb4HRr3zF59xam+wdWx4RW9U1egW7jHJbn08hxnOydcWiSEfLKtf+Ky7dlieYZ1HGIRN5YAcDFixRIAYANYExIAAAD8LFYJLQAAAIAGsQQAAICro2XGAQAAALygEgAAAMAPKgEAAAD8oBIAAADADyoBAAAA\/KASAAAAwA8qAQAAAPzMVAn\/H2SWsmueChlPAAAAAElFTkSuQmCCAA==\" alt=\"\" \/><\/p>\n<p>Here, we&#8217;ve taken <a href=\"http:\/\/wordnetweb.princeton.edu\/perl\/webwn?s=food+product&amp;sub=Search+WordNet&amp;o2=1&amp;o0=1&amp;o8=1&amp;o1=1&amp;o7=1&amp;o5=&amp;o9=&amp;o6=1&amp;o3=&amp;o4=&amp;h=0000\" target=\"_blank\">a definition from WordNet<\/a> and prefixed it with the word followed by a colon and parsed it using the <a href=\"http:\/\/haleyai.com\/wordpress\/linguist%e2%84%a2\/\" target=\"_blank\">Linguist<\/a>.<\/p>\n<p><!--more-->The lexical and syntactic ambiguities of this sentence are significant.\u00a0  On the first parse, over 400 derivations are returned.\u00a0 If the software  is configured to clarify parts of speech, it then presents the  following dialog:<\/p>\n<p><a href=\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-parts-of-speech.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-1052\" title=\"food product parts of speech\" src=\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-parts-of-speech.png\" alt=\"\" width=\"583\" height=\"256\" srcset=\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-parts-of-speech.png 583w, http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-parts-of-speech-300x131.png 300w\" sizes=\"auto, (max-width: 583px) 100vw, 583px\" \/><\/a><\/p>\n<p>And after a couple of clicks, we help the parser understand the &#8216;or&#8217; by clicking on the verb phrase shown below:<\/p>\n<p><a href=\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-VP-or.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-1053\" title=\"food product VP or\" src=\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-VP-or.png\" alt=\"\" width=\"562\" height=\"395\" srcset=\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-VP-or.png 562w, http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-VP-or-299x210.png 299w\" sizes=\"auto, (max-width: 562px) 100vw, 562px\" \/><\/a><\/p>\n<p>As you can see, this leaves only 8 parses.\u00a0 Just to be safe, we reparse using the constraints we&#8217;ve provided and find less than 400 parses, meaning that we can be more confident that the correct parse is among those we review.<\/p>\n<p>With parsing configured in one of its more permissible modes, there are still 16 parses with the correct parse tree structure.\u00a0 The following clauses allow us to discriminate among those semantically:<\/p>\n<p><a href=\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-semantic-discriminants1.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-1055\" title=\"food product semantic discriminants\" src=\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-semantic-discriminants1.png\" alt=\"\" width=\"701\" height=\"423\" srcset=\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-semantic-discriminants1.png 701w, http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/food-product-semantic-discriminants1-300x181.png 300w\" sizes=\"auto, (max-width: 701px) 100vw, 701px\" \/><\/a><\/p>\n<p>Users are encouraged not to worry about why these exist but to click on those that they find easiest to affirm or reject.\u00a0 So, skimming down the list very quickly:<\/p>\n<ul>\n<li>affirm the verbal for &#8216;used&#8217; or &#8216;prepare&#8221; with &#8216;substance&#8217; as its second argument\n<ul>\n<li>i.e., the direct object of either is the substance<\/li>\n<li>note: the subject of either is implicit and unspecified in this sentence<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>Either affirmation eliminates the remaining semantic ambiguity and leaves 4 derivations which are equivalent except for linguistic details that are rarely of interest to most users (in which case users simply select the best derivation).<\/p>\n<p>Finally, the quantification on the defined term (i.e., before the colon) becomes universal and the subject and object of the colon (interpreted as in the verb &#8216;is&#8217; or &#8216;means&#8217;) are unified to produce the logic shown first above.<\/p>\n<ul>\n<li>\u2200(?x6)(food(product)(?x6)\u21d2(can(\u2286(?e26)(or(be(use)(?x6),be(prepare)(for(\u2286use))(?x6))\u2227as(?e26,\u2286food)))\u2227substance(?x6)))<\/li>\n<\/ul>\n<p>In this rendering, certain predicates are &#8220;conflated&#8221; and various  details (e.g., elided variables and unreferenced situations) are  omitted.\u00a0 This makes the logic much easier to read and easier to  comprehend.\u00a0 If you want to know even more, read on, but the following is more than most are interested in.<\/p>\n<hr \/>\n<p>Here is the same logic rendered without conflation:<\/p>\n<ul>\n<li>\u2200(?x6)(\u2286(?x9)(food(?x9)(compound(?x6,?x9)\u2227product(?x6)))\u21d2(can(\u2286(?x38)(food(?x38)\u2286(?e26)(or(be(use)(?x6),\u2286(?x31)(use(?x31)\u2286(?e29)(for(?e29,?x31)\u2227be(prepare)(?e29)(?x6))))\u2227as(?e26,?x38))))\u2227substance(?x6)))<\/li>\n<\/ul>\n<p>And here is the same logic when elided arguments and unreferenced situations are rendered:<\/p>\n<ul>\n<li>\u2200(?x6)(\u2286(?x9)(food(?x9)(compound(?x6,?x9)\u2227product(?x6)))\u21d2(can(\u2286(?x38)(food(?x38)\u2286(?e26)(or(\u2286(?i24)be(use)(?i24,?x6),\u2286(?x31)(\u2286(?i36)use(of)(?x31,?i36)\u2286(?e29)\u2286(?i28)(for(?e29,?x31)\u2227be(prepare)(?e29)(?i28,?x6))))\u2227as(?e26,?x38))))\u2227substance(?x6)))<\/li>\n<\/ul>\n<p>In this logical rendering of the knowledge, &#8216;\u2286&#8217; is an under-specified  quantifier.\u00a0 For the logically inclined, it&#8217;s semantics is not  necessarily limited to existential or universal quantification, as in  first-order predicate calculus.<\/p>\n<ul>\n<li>For example, this literal within the formula may be interpreted as referring to food in general (i.e., as a type) rather than a first-order individual:\u00a0 as(?e26,\u2286food)<\/li>\n<\/ul>\n<p>Note that &#8216;e&#8217; variables denote what linguists call &#8216;events&#8217; (see <a href=\"https:\/\/books.google.com\/books\/about\/Events_in_the_Semantics_of_English.html?id=e76QQgAACAAJ\" target=\"_blank\">Parsons 90<\/a>) but which are more easily understood as &#8216;situations&#8217;.\u00a0 (Non-linguists tend to differ with linguists on whether states or processes are &#8216;events&#8217; but less so that they are &#8216;situations&#8217;.)<\/p>\n<ul>\n<li>In \u2286(?e26)(or(be(use)(?x6),be(prepare)(for(\u2286use))(?x6))\u2227as(?e26,\u2286food)), ?e26 denotes the disjunction itself (not either of its disjuncts), which is complement by the &#8216;as&#8217;.<\/li>\n<\/ul>\n<p>This is in keeping with <a href=\"https:\/\/pdfs.semanticscholar.org\/0b38\/0f641e115ad426984079f504b21aea9636c5.pdf\" target=\"_blank\">Hobbs&#8217; &#8220;Ontological Promiscuity&#8221;<\/a> and demonstrates that Davidsonian variables are not limited to what we may intuitively consider an &#8216;event&#8217;.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The following is motivated by Section 6359 of the California Sales and Use Tax.\u00a0 It demonstrates how knowledge can be acquired from dictionary definitions: Here, we&#8217;ve taken a definition from WordNet and prefixed it with the word followed by a colon and parsed it using the Linguist.<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10,16],"tags":[700,771,550,185,527,191,528,772,773,775,774,573],"class_list":["post-1050","post","type-post","status-publish","format-standard","hentry","category-formal-logic","category-natural-language","tag-co-reference-resolution","tag-dictionary","tag-disambiguation","tag-knowledge-acquisition","tag-linguist","tag-logic","tag-nlu","tag-part-of-speech","tag-semantic-ambiguity","tag-unification","tag-universal-quantification","tag-wordnet"],"_links":{"self":[{"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/posts\/1050","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/comments?post=1050"}],"version-history":[{"count":8,"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/posts\/1050\/revisions"}],"predecessor-version":[{"id":1061,"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/posts\/1050\/revisions\/1061"}],"wp:attachment":[{"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/media?parent=1050"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/categories?post=1050"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/haleyai.com\/wordpress\/wp-json\/wp\/v2\/tags?post=1050"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}