Well, not to spam, but it seems that maybe a few things like 'less than' and 'at most' are just not implemented? This is what ACE Editor says:<div><br></div><div><br></div><div><span class="Apple-style-span" style="border-collapse: collapse; font-family: verdana; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; "><div id="c_6_cell_c_2849" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_2849" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_2849_cell_c_2853" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_2853" style="padding-top: 5px; padding-right: 10px; padding-bottom: 5px; padding-left: 25px; ">
<table id="c_2853_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_2853_tbody"><tr id="c_2853_tr"><td id="c_2853_cell_c_2854" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_2854" style="border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(200, 200, 200); border-right-color: rgb(200, 200, 200); border-bottom-color: rgb(200, 200, 200); border-left-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_2854_cell_c_2855" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_2855" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_2855_cell_c_2856" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_2856" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; "><table id="c_2856_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_2856_tbody"><tr id="c_2856_tr"><td id="c_2856_cell_c_2857" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><span id="c_2857" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Paraphrase</span></td>
</tr></tbody></table></div></div><div id="c_2855_cell_c_2858" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_2858" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; ">
<div id="c_2858_cell_c_2859" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><pre style="font-size: 11px; ">NOT IMPLEMENTED</pre></div></div></div></div></div><div id="c_2854_cell_c_2883" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_2883" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_2883_cell_c_2884" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_2884" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; ">
<table id="c_2884_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_2884_tbody"><tr id="c_2884_tr"><td id="c_2884_cell_c_2885" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span id="c_2885" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Syntax Boxes</span></td></tr></tbody></table></div></div><div id="c_2883_cell_c_2886" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_2886" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; "><div id="c_2886_cell_c_2887" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span style="font-size: 11px; "><table><tbody><tr><td><table class="s" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 204); border-right-color: rgb(204, 204, 204); border-bottom-color: rgb(204, 204, 204); border-left-color: rgb(204, 204, 204); background-color: rgb(238, 238, 238); white-space: nowrap; ">
<tbody><tr><td><table class="np" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(170, 170, 255); border-right-color: rgb(170, 170, 255); border-bottom-color: rgb(170, 170, 255); border-left-color: rgb(170, 170, 255); background-color: rgb(221, 221, 255); white-space: nowrap; ">
<tbody><tr><td>every</td><td>wine</td><td>that</td><td><table class="vp" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 68); border-right-color: rgb(204, 204, 68); border-bottom-color: rgb(204, 204, 68); border-left-color: rgb(204, 204, 68); background-color: rgb(255, 255, 170); white-space: nowrap; ">
<tbody><tr><td>charges</td><td><table class="np" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(170, 170, 255); border-right-color: rgb(170, 170, 255); border-bottom-color: rgb(170, 170, 255); border-left-color: rgb(170, 170, 255); background-color: rgb(221, 221, 255); white-space: nowrap; ">
<tbody><tr><td>less than</td><td>50</td><td>points</td></tr></tbody></table></td></tr></tbody></table></td></tr></tbody></table></td><td><table class="vp" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 68); border-right-color: rgb(204, 204, 68); border-bottom-color: rgb(204, 204, 68); border-left-color: rgb(204, 204, 68); background-color: rgb(255, 255, 170); white-space: nowrap; ">
<tbody><tr><td>is</td><td>fair</td></tr></tbody></table></td></tr></tbody></table></td><td>.</td></tr></tbody></table></span></div></div></div></div></div><div id="c_2854_cell_c_2894" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_2894" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_2894_cell_c_2895" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_2895" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; ">
<table id="c_2895_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_2895_tbody"><tr id="c_2895_tr"><td id="c_2895_cell_c_2896" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span id="c_2896" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Pretty-Printed DRS</span></td></tr></tbody></table></div></div><div id="c_2894_cell_c_2897" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_2897" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; "><div id="c_2897_cell_c_2898" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<pre style="font-size: 11px; ">[]
[A]
object(A, wine, countable, na, eq, 1)-1
[B, C]
object(B, point, countable, na, na, na)-1
predicate(C, charge, A, B)-1
=>
[]
quantity(B, less, 50)-1
=>
[D, E]
property(D, fair, pos)-1
predicate(E, be, A, D)-1
</pre></div></div></div></div></div></div></td></tr></tbody></table></div></div></div></div><div id="c_6_cell_c_5427" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5427" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_5427_cell_c_5428" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5428" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><table id="c_5428_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_5428_tbody"><tr id="c_5428_tr"><td id="c_5428_cell_c_5429" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5429" tabindex="0" style="width: 20px; height: 20px; overflow-x: hidden; overflow-y: hidden; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px; font-weight: bold; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; text-align: center; vertical-align: middle; visibility: visible; cursor: pointer; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; ">
</div></td><td id="c_5428_cell_c_5430" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5430" tabindex="0" style="height: 19px; overflow-x: hidden; overflow-y: hidden; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px; padding-top: 1px; padding-right: 3px; padding-bottom: 0px; padding-left: 3px; visibility: visible; cursor: pointer; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; ">
For every wine that charges at most 44 points the wine is dirty.</div></td></tr></tbody></table></div></div><div id="c_5427_cell_c_5431" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_5431" style="padding-top: 5px; padding-right: 10px; padding-bottom: 5px; padding-left: 25px; "><table id="c_5431_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_5431_tbody"><tr id="c_5431_tr"><td id="c_5431_cell_c_5432" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5432" style="border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(200, 200, 200); border-right-color: rgb(200, 200, 200); border-bottom-color: rgb(200, 200, 200); border-left-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_5432_cell_c_5433" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5433" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5433_cell_c_5434" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_5434" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; "><table id="c_5434_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_5434_tbody"><tr id="c_5434_tr"><td id="c_5434_cell_c_5435" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><span id="c_5435" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Paraphrase</span></td>
</tr></tbody></table></div></div><div id="c_5433_cell_c_5436" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5436" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; ">
<div id="c_5436_cell_c_5437" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><pre style="font-size: 11px; ">NOT IMPLEMENTED</pre></div></div></div></div></div><div id="c_5432_cell_c_5461" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_5461" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5461_cell_c_5462" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5462" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; ">
<table id="c_5462_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_5462_tbody"><tr id="c_5462_tr"><td id="c_5462_cell_c_5463" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span id="c_5463" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Syntax Boxes</span></td></tr></tbody></table></div></div><div id="c_5461_cell_c_5464" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_5464" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; "><div id="c_5464_cell_c_5465" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span style="font-size: 11px; "><table><tbody><tr><td><table class="s" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 204); border-right-color: rgb(204, 204, 204); border-bottom-color: rgb(204, 204, 204); border-left-color: rgb(204, 204, 204); background-color: rgb(238, 238, 238); white-space: nowrap; ">
<tbody><tr><td>for</td><td><table class="np" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(170, 170, 255); border-right-color: rgb(170, 170, 255); border-bottom-color: rgb(170, 170, 255); border-left-color: rgb(170, 170, 255); background-color: rgb(221, 221, 255); white-space: nowrap; ">
<tbody><tr><td>every</td><td>wine</td><td>that</td><td><table class="vp" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 68); border-right-color: rgb(204, 204, 68); border-bottom-color: rgb(204, 204, 68); border-left-color: rgb(204, 204, 68); background-color: rgb(255, 255, 170); white-space: nowrap; ">
<tbody><tr><td>charges</td><td><table class="np" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(170, 170, 255); border-right-color: rgb(170, 170, 255); border-bottom-color: rgb(170, 170, 255); border-left-color: rgb(170, 170, 255); background-color: rgb(221, 221, 255); white-space: nowrap; ">
<tbody><tr><td>at most</td><td>44</td><td>points</td></tr></tbody></table></td></tr></tbody></table></td></tr></tbody></table></td><td><table class="s" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 204); border-right-color: rgb(204, 204, 204); border-bottom-color: rgb(204, 204, 204); border-left-color: rgb(204, 204, 204); background-color: rgb(238, 238, 238); white-space: nowrap; ">
<tbody><tr><td><table class="np" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(170, 170, 255); border-right-color: rgb(170, 170, 255); border-bottom-color: rgb(170, 170, 255); border-left-color: rgb(170, 170, 255); background-color: rgb(221, 221, 255); white-space: nowrap; ">
<tbody><tr><td>the</td><td>wine</td></tr></tbody></table></td><td><table class="vp" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 68); border-right-color: rgb(204, 204, 68); border-bottom-color: rgb(204, 204, 68); border-left-color: rgb(204, 204, 68); background-color: rgb(255, 255, 170); white-space: nowrap; ">
<tbody><tr><td>is</td><td>dirty</td></tr></tbody></table></td></tr></tbody></table></td></tr></tbody></table></td><td>.</td></tr></tbody></table></span></div></div></div></div></div><div id="c_5432_cell_c_5472" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_5472" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5472_cell_c_5473" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_5473" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; ">
<table id="c_5473_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_5473_tbody"><tr id="c_5473_tr"><td id="c_5473_cell_c_5474" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span id="c_5474" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Pretty-Printed DRS</span></td></tr></tbody></table></div></div><div id="c_5472_cell_c_5475" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_5475" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; "><div id="c_5475_cell_c_5476" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<pre style="font-size: 11px; ">[]
[A]
object(A, wine, countable, na, eq, 1)-1
[B, C]
object(B, point, countable, na, na, na)-1
predicate(C, charge, A, B)-1
=>
[]
quantity(B, leq, 44)-1
=>
[D, E]
property(D, dirty, pos)-1
predicate(E, be, A, D)-1
</pre></div></div></div></div></div></div></td></tr></tbody></table></div></div></div></div><div id="c_6_cell_c_8007" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8007" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_8007_cell_c_8008" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8008" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><table id="c_8008_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_8008_tbody"><tr id="c_8008_tr"><td id="c_8008_cell_c_8009" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8009" tabindex="0" style="width: 20px; height: 20px; overflow-x: hidden; overflow-y: hidden; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px; font-weight: bold; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; text-align: center; vertical-align: middle; visibility: visible; cursor: pointer; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; ">
</div></td><td id="c_8008_cell_c_8010" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8010" tabindex="0" style="height: 19px; overflow-x: hidden; overflow-y: hidden; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px; padding-top: 1px; padding-right: 3px; padding-bottom: 0px; padding-left: 3px; visibility: visible; cursor: pointer; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; ">
Every wine that charges at least 14 points is active.</div></td></tr></tbody></table></div></div><div id="c_8007_cell_c_8011" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8011" style="padding-top: 5px; padding-right: 10px; padding-bottom: 5px; padding-left: 25px; ">
<table id="c_8011_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_8011_tbody"><tr id="c_8011_tr"><td id="c_8011_cell_c_8012" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_8012" style="border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(200, 200, 200); border-right-color: rgb(200, 200, 200); border-bottom-color: rgb(200, 200, 200); border-left-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_8012_cell_c_8013" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8013" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8013_cell_c_8014" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_8014" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; "><table id="c_8014_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_8014_tbody"><tr id="c_8014_tr"><td id="c_8014_cell_c_8015" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><span id="c_8015" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Paraphrase</span></td>
</tr></tbody></table></div></div><div id="c_8013_cell_c_8016" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8016" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; ">
<div id="c_8016_cell_c_8017" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><pre style="font-size: 11px; ">If a wine X1 charges at least 14 points then the wine X1 is active.</pre></div>
</div></div></div></div><div id="c_8012_cell_c_8041" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8041" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_8041_cell_c_8042" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8042" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; ">
<table id="c_8042_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_8042_tbody"><tr id="c_8042_tr"><td id="c_8042_cell_c_8043" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span id="c_8043" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Syntax Boxes</span></td></tr></tbody></table></div></div><div id="c_8041_cell_c_8044" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_8044" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; "><div id="c_8044_cell_c_8045" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span style="font-size: 11px; "><table><tbody><tr><td><table class="s" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 204); border-right-color: rgb(204, 204, 204); border-bottom-color: rgb(204, 204, 204); border-left-color: rgb(204, 204, 204); background-color: rgb(238, 238, 238); white-space: nowrap; ">
<tbody><tr><td><table class="np" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(170, 170, 255); border-right-color: rgb(170, 170, 255); border-bottom-color: rgb(170, 170, 255); border-left-color: rgb(170, 170, 255); background-color: rgb(221, 221, 255); white-space: nowrap; ">
<tbody><tr><td>every</td><td>wine</td><td>that</td><td><table class="vp" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 68); border-right-color: rgb(204, 204, 68); border-bottom-color: rgb(204, 204, 68); border-left-color: rgb(204, 204, 68); background-color: rgb(255, 255, 170); white-space: nowrap; ">
<tbody><tr><td>charges</td><td><table class="np" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(170, 170, 255); border-right-color: rgb(170, 170, 255); border-bottom-color: rgb(170, 170, 255); border-left-color: rgb(170, 170, 255); background-color: rgb(221, 221, 255); white-space: nowrap; ">
<tbody><tr><td>at least</td><td>14</td><td>points</td></tr></tbody></table></td></tr></tbody></table></td></tr></tbody></table></td><td><table class="vp" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 68); border-right-color: rgb(204, 204, 68); border-bottom-color: rgb(204, 204, 68); border-left-color: rgb(204, 204, 68); background-color: rgb(255, 255, 170); white-space: nowrap; ">
<tbody><tr><td>is</td><td>active</td></tr></tbody></table></td></tr></tbody></table></td><td>.</td></tr></tbody></table></span></div></div></div></div></div><div id="c_8012_cell_c_8052" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_8052" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8052_cell_c_8053" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8053" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; ">
<table id="c_8053_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_8053_tbody"><tr id="c_8053_tr"><td id="c_8053_cell_c_8054" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span id="c_8054" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Pretty-Printed DRS</span></td></tr></tbody></table></div></div><div id="c_8052_cell_c_8055" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_8055" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; "><div id="c_8055_cell_c_8056" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<pre style="font-size: 11px; ">[]
[A, B, C]
object(A, wine, countable, na, eq, 1)-1
object(B, point, countable, na, geq, 14)-1
predicate(C, charge, A, B)-1
=>
[D, E]
property(D, active, pos)-1
predicate(E, be, A, D)-1
</pre></div></div></div></div></div></div></td></tr></tbody></table></div></div></div></div><div id="c_6_cell_c_12066" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12066" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12066_cell_c_12067" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12067" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<table id="c_12067_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_12067_tbody"><tr id="c_12067_tr"><td id="c_12067_cell_c_12068" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12068" tabindex="0" style="width: 20px; height: 20px; overflow-x: hidden; overflow-y: hidden; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px; font-weight: bold; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; text-align: center; vertical-align: middle; visibility: visible; cursor: pointer; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; ">
</div></td><td id="c_12067_cell_c_12069" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12069" tabindex="0" style="height: 19px; overflow-x: hidden; overflow-y: hidden; color: rgb(255, 255, 255); background-color: rgb(160, 160, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px; padding-top: 1px; padding-right: 3px; padding-bottom: 0px; padding-left: 3px; visibility: visible; cursor: pointer; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; ">
Every wine that does not charge at least 50 points is smart.</div></td></tr></tbody></table></div></div><div id="c_12066_cell_c_12070" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12070" style="padding-top: 5px; padding-right: 10px; padding-bottom: 5px; padding-left: 25px; "><table id="c_12070_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_12070_tbody"><tr id="c_12070_tr"><td id="c_12070_cell_c_12071" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12071" style="border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(200, 200, 200); border-right-color: rgb(200, 200, 200); border-bottom-color: rgb(200, 200, 200); border-left-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12071_cell_c_12072" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12072" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12072_cell_c_12073" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12073" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; ">
<table id="c_12073_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; "><tbody id="c_12073_tbody"><tr id="c_12073_tr"><td id="c_12073_cell_c_12074" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<span id="c_12074" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Paraphrase</span></td></tr></tbody></table></div></div><div id="c_12072_cell_c_12075" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12075" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; "><div id="c_12075_cell_c_12076" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<pre style="font-size: 11px; ">If there is a wine X1 and it is false that the wine X1 charges at least 50 points then the wine X1 is smart.</pre></div></div></div></div></div><div id="c_12071_cell_c_12100" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12100" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12100_cell_c_12101" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12101" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; "><table id="c_12101_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_12101_tbody"><tr id="c_12101_tr"><td id="c_12101_cell_c_12102" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><span id="c_12102" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Syntax Boxes</span></td>
</tr></tbody></table></div></div><div id="c_12100_cell_c_12103" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12103" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; ">
<div id="c_12103_cell_c_12104" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><span style="font-size: 11px; "><table><tbody><tr><td><table class="s" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 204); border-right-color: rgb(204, 204, 204); border-bottom-color: rgb(204, 204, 204); border-left-color: rgb(204, 204, 204); background-color: rgb(238, 238, 238); white-space: nowrap; ">
<tbody><tr><td><table class="np" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(170, 170, 255); border-right-color: rgb(170, 170, 255); border-bottom-color: rgb(170, 170, 255); border-left-color: rgb(170, 170, 255); background-color: rgb(221, 221, 255); white-space: nowrap; ">
<tbody><tr><td>every</td><td>wine</td><td>that</td><td><table class="vp" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 68); border-right-color: rgb(204, 204, 68); border-bottom-color: rgb(204, 204, 68); border-left-color: rgb(204, 204, 68); background-color: rgb(255, 255, 170); white-space: nowrap; ">
<tbody><tr><td>does</td><td>not</td><td>charge</td><td><table class="np" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(170, 170, 255); border-right-color: rgb(170, 170, 255); border-bottom-color: rgb(170, 170, 255); border-left-color: rgb(170, 170, 255); background-color: rgb(221, 221, 255); white-space: nowrap; ">
<tbody><tr><td>at least</td><td>50</td><td>points</td></tr></tbody></table></td></tr></tbody></table></td></tr></tbody></table></td><td><table class="vp" style="padding-top: 0.1em; padding-right: 0.1em; padding-bottom: 0.1em; padding-left: 0.1em; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: rgb(204, 204, 68); border-right-color: rgb(204, 204, 68); border-bottom-color: rgb(204, 204, 68); border-left-color: rgb(204, 204, 68); background-color: rgb(255, 255, 170); white-space: nowrap; ">
<tbody><tr><td>is</td><td>smart</td></tr></tbody></table></td></tr></tbody></table></td><td>.</td></tr></tbody></table></span></div></div></div></div></div><div id="c_12071_cell_c_12111" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12111" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12111_cell_c_12112" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_12112" style="background-color: rgb(200, 200, 200); padding-top: 0px; padding-right: 2px; padding-bottom: 0px; padding-left: 2px; "><table id="c_12112_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_12112_tbody"><tr id="c_12112_tr"><td id="c_12112_cell_c_12113" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><span id="c_12113" style="white-space: nowrap; color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; ">Pretty-Printed DRS</span></td>
</tr></tbody></table></div></div><div id="c_12111_cell_c_12114" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_12114" style="padding-top: 0px; padding-right: 10px; padding-bottom: 0px; padding-left: 10px; ">
<div id="c_12114_cell_c_12115" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><pre style="font-size: 11px; ">[]
[A]
object(A, wine, countable, na, eq, 1)-1
NOT
[B, C]
object(B, point, countable, na, geq, 50)-1
predicate(C, charge, A, B)-1
=>
[D, E]
property(D, smart, pos)-1
predicate(E, be, A, D)-1
</pre></div></div></div></div></div></div></td></tr></tbody></table></div></div></div></div><div id="c_6_cell_c_7" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_7" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<div id="c_7_cell_c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><table id="c_8_table" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; border-collapse: collapse; ">
<tbody id="c_8_tbody"><tr id="c_8_tr"><td id="c_8_cell_c_9" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_9" tabindex="0" style="width: 20px; height: 20px; overflow-x: hidden; overflow-y: hidden; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px; font-weight: bold; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; text-align: center; vertical-align: middle; visibility: visible; cursor: pointer; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; ">
+</div></td><td id="c_8_cell_c_10" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "></td></tr></tbody></table><br></div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
Also I diffed the greps for 'geq' vs. 'leq'. I'm wondering if I could learn prolog and maybe add the leq? Or maybe it is more complicated than I think.</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<br></div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">1,13c1,12</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/grammar.fit:<span class="Apple-tab-span" style="white-space:pre">                </span>Comparison = geq,</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
< parser/grammar.fit:%% at least 5 men's cars --> geq 2</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/grammar.fit:add_quantity(<pl, geq, 2).</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/grammar_contentwords.fit:<span class="Apple-tab-span" style="white-space:pre">                </span>sem!quantity!comparison!geq.</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/grammar_functionwords.fit:<span class="Apple-tab-span" style="white-space:pre">                </span>sem!quantity!comparison!geq</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/grammar_functionwords.fit:<span class="Apple-tab-span" style="white-space:pre">                </span>sem!quantity!comparison!geq.</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/grammar_functionwords.fit:<span class="Apple-tab-span" style="white-space:pre">                </span>sem!quantity!comparison!geq &</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/grammar_functionwords.fit:<span class="Apple-tab-span" style="white-space:pre">                </span>sem!quantity!comparison!geq &</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/grammar_functionwords.fit:<span class="Apple-tab-span" style="white-space:pre">                </span>sem!quantity!comparison!geq/_</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/refres.pl: % to allow anaphoric reference by "the men" and "they" the count is replaced by "geq 2"</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/refres.pl: NewAntecedentConditions = [object(Referent, Lemma, countable, na, geq, 2)-AntecedentSID|RestAntecedentConditions],</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< parser/refres.pl: Element = object(R1, Noun, countable, na, geq, 2) - _Index1</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
< utils/drs_to_coreace.pl:conds_text(noun([object(A, Agent, countable, na, geq, 2)], parts([]), Owner, adjectives([query(A, which)])),</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
---</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> geq:utils/drs_to_coreace.pl:% @param Comp {eq, geq, leq, greater, less}</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
> geq:utils/drs_to_coreace.pl:% @param Operator is in {eq, geq, leq, greater, less, exactly, na}</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> geq:utils/drs_to_npace.pl:% @param Operator is in {na, eq, leq, geq, greater, less, exactly}</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> geq:utils/owlswrl/drs_to_owlswrl.pl:% @param QType is in {na, eq, geq, leq, greater, less, exactly}</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
> geq:utils/owlswrl/drs_to_owlswrl.pl:% @param QType is in {na, eq, geq, leq, greater, less, exactly}</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> parser/grammar_functionwords.fit:<span class="Apple-tab-span" style="white-space:pre">                </span>sem!quantity!comparison!leq/_</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> parser/tokenizer.pl:complete_line([34, First | Input], 34, doublequotes, ['"', '"' | Atomics]) :-</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> parser/tokenizer.pl:complete_line([First|Input], 34, doublequotes, ['"', A, '"'|Atomics]) :-</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> parser/tokenizer.pl:complete_string([Next|Input], _, doublequotes, [], NextC, NextT, Input) :-</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
> parser/tokenizer.pl:% 'blank', 'alpha', 'number', 'special', 'doublequotes'</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
> parser/tokenizer.pl:% BUG: rename: doublequotes -> quote</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> parser/tokenizer.pl:char_type(_, 34, doublequotes, 34) :- !.</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">16c15</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< utils/drs_to_coreace.pl:surface_determiner(new, geq, Number, [at, least, Number]).</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">---</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> utils/drs_to_coreace.pl:surface_determiner(new, leq, Number, [at, most, Number]).</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">18,23c17,22</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< utils/drs_to_npace.pl:get_noun_x(_, new, yes, _, countable, Noun, geq, 1, [at, least, 1, NounSg]) :- surface_noun(cn, sg, Noun, NounSg).</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< utils/drs_to_npace.pl:get_noun_x(_, new, yes, _, countable, Noun, geq, Number, [at, least, Number, NounPl]) :- Number > 1, surface_noun(cn, pl, Noun, NounPl).</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< utils/is_wellformed.pl:<span class="Apple-tab-span" style="white-space:pre">        </span>atom(Eq), member(Eq, [na, eq, geq, greater, exactly]),</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< utils/owlswrl/drs_to_owldrs.pl:% @param NegQType is the "opposite" quantifier type (from {greater, geq})</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< utils/owlswrl/drs_to_owldrs.pl:negate_quantifier(less, geq).</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
< utils/owlswrl/drs_to_owlswrl.pl:<span class="Apple-tab-span" style="white-space:pre">        </span>member(QType, [eq, geq, na]),</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
---</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> utils/drs_to_npace.pl:get_noun_x(_, new, yes, _, countable, Noun, leq, 1, [at, most, 1, NounSg]) :- surface_noun(cn, sg, Noun, NounSg).</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> utils/drs_to_npace.pl:get_noun_x(_, new, yes, _, countable, Noun, leq, Number, [at, most, Number, NounPl]) :- Number > 1, surface_noun(cn, pl, Noun, NounPl).</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> utils/is_wellformed.pl:<span class="Apple-tab-span" style="white-space:pre">        </span>atom(Eq), member(Eq, [leq, less]),</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> utils/owlswrl/drs_to_owldrs.pl:% @param QType is a quantifier type from {leq, less}</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
> utils/owlswrl/drs_to_owldrs.pl:negate_quantifier(leq, greater).</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> utils/owlswrl/drs_to_owlswrl.pl:<span class="Apple-tab-span" style="white-space:pre">                </span>QNum = 1, QType = leq</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">26,27c25</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< utils/owlswrl/drs_to_owlswrl.pl:make_restr(geq, 1, Property, Class, 'ObjectSomeValuesFrom'(Property, Class)).</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">< utils/owlswrl/drs_to_owlswrl.pl:make_restr(geq, QNum, Property, Class, 'ObjectMinCardinality'(QNum, Property, Class)) :-</div>
<div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">---</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">> utils/owlswrl/drs_to_owlswrl.pl:make_restr(leq, QNum, Property, Class, 'ObjectMaxCardinality'(QNum, Property, Class)).</div>
</div><div id="c_8" style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><br></div></div></div></div></span></div>