mirror of
https://github.com/NotXia/unibo-ai-notes.git
synced 2025-12-15 19:12:22 +01:00
568 lines
52 KiB
Plaintext
568 lines
52 KiB
Plaintext
<mxfile host="app.diagrams.net" modified="2023-11-16T21:16:53.547Z" agent="Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:109.0) Gecko/20100101 Firefox/119.0" etag="D2SSc8s175e1DbT3XVNG" version="22.1.2" type="device">
|
|
<diagram name="Pagina-1" id="vWoUS4aAWY6JDt7lGQUs">
|
|
<mxGraphModel dx="1434" dy="746" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
|
|
<root>
|
|
<mxCell id="0" />
|
|
<mxCell id="1" parent="0" />
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-1" value="<font style="font-size: 20px;" face="Times New Roman">Start</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="363" y="30" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-2" value="<font style="font-size: 18px;" face="Times New Roman">PRE: at(home), have(drill), have(milk), have(banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="195.5" y="110" width="435" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-4" value="<font style="font-size: 20px;" face="Times New Roman">Stop</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="363" y="140" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-5" value="<font style="font-size: 18px;" face="Times New Roman">EFF: at(home), sells(hws, drill), sells(sm, milk), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="128" y="60" width="570" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-6" value="<font style="font-size: 20px;" face="Times New Roman">Start</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="364" y="250" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-7" value="<font style="font-size: 18px;" face="Times New Roman">PRE: at(home), have(drill), have(milk), have(banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="196.5" y="440" width="435" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-8" value="<font style="font-size: 20px;" face="Times New Roman">Stop</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="364" y="470" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-9" value="<font style="font-size: 18px;" face="Times New Roman">EFF: at(home), sells(hws, drill), sells(sm, milk), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="129" y="280" width="570" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-12" value="<font face="Times New Roman" style="font-size: 18px;">BUY(X, drill)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="140" y="380" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-13" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(X), sells(X, drill)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="110" y="350" width="190" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-14" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-12">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="400" y="390" as="sourcePoint" />
|
|
<mxPoint x="367" y="447" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-15" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-9" target="Ttsugk7DA3tm-EdlFs-_-13">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="344" y="307" as="sourcePoint" />
|
|
<mxPoint x="299" y="355" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-21" value="<font face="Times New Roman" style="font-size: 18px;">BUY(X, milk)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="349" y="380" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-22" value="<font face="Times New Roman" style="font-size: 18px;">BUY(X, banana)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="560" y="380" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-23" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(X), sells(X, milk)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="314" y="350" width="199" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-24" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(X), sells(X, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="530" y="350" width="190" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-25" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-9" target="Ttsugk7DA3tm-EdlFs-_-23">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="424" y="320" as="sourcePoint" />
|
|
<mxPoint x="215" y="360" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-26" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-9" target="Ttsugk7DA3tm-EdlFs-_-24">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="424" y="320" as="sourcePoint" />
|
|
<mxPoint x="424" y="360" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-27" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-21">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="215" y="420" as="sourcePoint" />
|
|
<mxPoint x="457" y="448" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-28" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-22">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="424" y="420" as="sourcePoint" />
|
|
<mxPoint x="554" y="446" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-61" value="<font style="font-size: 20px;" face="Times New Roman">Start</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="362" y="585" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-62" value="<font style="font-size: 18px;" face="Times New Roman">PRE: at(home), have(drill), have(milk), have(banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="194.5" y="775" width="435" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-63" value="<font style="font-size: 20px;" face="Times New Roman">Stop</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="362" y="805" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-64" value="<font style="font-size: 18px;" face="Times New Roman">EFF: at(home), sells(hws, drill), sells(sm, milk), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="127" y="615" width="570" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-65" value="<font face="Times New Roman" style="font-size: 18px;">BUY(hws, drill)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="138" y="715" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-66" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(hws), sells(hws, drill)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="104" y="685" width="198" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-67" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-65">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="398" y="725" as="sourcePoint" />
|
|
<mxPoint x="365" y="782" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-69" value="<font face="Times New Roman" style="font-size: 18px;">BUY(sm, milk)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="347" y="715" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-70" value="<font face="Times New Roman" style="font-size: 18px;">BUY(sm, banana)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="550" y="715" width="138" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-71" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(sm), sells(sm, milk)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="312" y="685" width="199" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-72" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(sm), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="524" y="685" width="202" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-75" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-69">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="213" y="755" as="sourcePoint" />
|
|
<mxPoint x="455" y="783" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-76" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-70">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="422" y="755" as="sourcePoint" />
|
|
<mxPoint x="552" y="781" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-77" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-64">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="362" y="640" as="sourcePoint" />
|
|
<mxPoint x="234" y="689" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-78" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-64">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="422" y="670" as="sourcePoint" />
|
|
<mxPoint x="435" y="691" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-79" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-64">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="422" y="655" as="sourcePoint" />
|
|
<mxPoint x="630" y="691" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-80" value="<font style="font-size: 20px;" face="Times New Roman">Start</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="360" y="910" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-81" value="<font style="font-size: 18px;" face="Times New Roman">PRE: at(home), have(drill), have(milk), have(banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="192.5" y="1220" width="435" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-82" value="<font style="font-size: 20px;" face="Times New Roman">Stop</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="360" y="1250" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-83" value="<font style="font-size: 18px;" face="Times New Roman">EFF: at(home), sells(hws, drill), sells(sm, milk), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="125" y="940" width="570" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-84" value="<font face="Times New Roman" style="font-size: 18px;">BUY(hws, drill)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="136" y="1160" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-85" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(hws), sells(hws, drill)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="102" y="1130" width="198" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-86" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-84">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="396" y="1170" as="sourcePoint" />
|
|
<mxPoint x="363" y="1227" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-87" value="<font face="Times New Roman" style="font-size: 18px;">BUY(sm, milk)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="345" y="1160" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-88" value="<font face="Times New Roman" style="font-size: 18px;">BUY(sm, banana)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="548" y="1160" width="138" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-89" value="<font style="font-size: 16px;" face="Times New Roman">PRE: sells(sm, milk), </font><font style="font-size: 16px;" face="Times New Roman">at(sm)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="310" y="1130" width="199" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-90" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(sm), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="522" y="1130" width="202" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-91" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-87">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="211" y="1200" as="sourcePoint" />
|
|
<mxPoint x="453" y="1228" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-92" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-88">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="420" y="1200" as="sourcePoint" />
|
|
<mxPoint x="550" y="1226" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-96" value="<font face="Times New Roman" style="font-size: 18px;">GO(home, hws)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="140" y="1030" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-97" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(home)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="138" y="1000" width="134" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-98" value="<font style="font-size: 16px;" face="Times New Roman">EFF: at(hws), ¬at(home)<br></font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="124" y="1060" width="162" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-99" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-98">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="211" y="1200" as="sourcePoint" />
|
|
<mxPoint x="166" y="1136" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-100" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-83">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="215" y="1100" as="sourcePoint" />
|
|
<mxPoint x="218" y="1007" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-101" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-83">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="420" y="980" as="sourcePoint" />
|
|
<mxPoint x="233" y="1134" as="targetPoint" />
|
|
<Array as="points">
|
|
<mxPoint x="330" y="1000" />
|
|
<mxPoint x="290" y="1010" />
|
|
<mxPoint x="290" y="1080" />
|
|
</Array>
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-105" value="<font face="Times New Roman" style="font-size: 18px;">GO(home, sm)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="456" y="1030" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-106" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(home)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="454" y="1000" width="134" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-107" value="<font style="font-size: 16px;" face="Times New Roman">EFF: at(sm), ¬at(home)<br></font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="440" y="1060" width="162" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-108" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-83">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="420" y="980" as="sourcePoint" />
|
|
<mxPoint x="523" y="1005" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-109" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;" edge="1" parent="1">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="410" y="970" as="sourcePoint" />
|
|
<mxPoint x="404" y="1136" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-110" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-107">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="420" y="980" as="sourcePoint" />
|
|
<mxPoint x="476" y="1138" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-112" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-107">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="531" y="1100" as="sourcePoint" />
|
|
<mxPoint x="577" y="1138" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-113" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;" edge="1" parent="1">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="410" y="970" as="sourcePoint" />
|
|
<mxPoint x="640" y="1137" as="targetPoint" />
|
|
<Array as="points">
|
|
<mxPoint x="640" y="980" />
|
|
</Array>
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-114" value="<font style="font-size: 20px;" face="Times New Roman">Start</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="368" y="1370" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-115" value="<font style="font-size: 18px;" face="Times New Roman">PRE: at(home), have(drill), have(milk), have(banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="200.5" y="1790" width="435" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-116" value="<font style="font-size: 20px;" face="Times New Roman">Stop</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="368" y="1820" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-117" value="<font style="font-size: 18px;" face="Times New Roman">EFF: at(home), sells(hws, drill), sells(sm, milk), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="133" y="1400" width="570" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-118" value="<font face="Times New Roman" style="font-size: 18px;">BUY(hws, drill)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="144" y="1730" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-119" value="<font style="font-size: 16px;" face="Times New Roman">PRE: </font><font style="font-size: 16px;" face="Times New Roman">sells(hws, drill)</font><font style="font-size: 16px;" face="Times New Roman">, at(hws)<br></font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="110" y="1700" width="198" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-120" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-118">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="404" y="1740" as="sourcePoint" />
|
|
<mxPoint x="371" y="1797" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-121" value="<font face="Times New Roman" style="font-size: 18px;">BUY(sm, milk)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="353" y="1730" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-122" value="<font face="Times New Roman" style="font-size: 18px;">BUY(sm, banana)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="556" y="1730" width="138" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-123" value="<font style="font-size: 16px;" face="Times New Roman">PRE: sells(sm, milk), </font><font style="font-size: 16px;" face="Times New Roman">at(sm)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="318" y="1700" width="199" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-124" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(sm), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="530" y="1700" width="202" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-125" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-121">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="219" y="1770" as="sourcePoint" />
|
|
<mxPoint x="461" y="1798" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-126" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-122">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="428" y="1770" as="sourcePoint" />
|
|
<mxPoint x="558" y="1796" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-127" value="<font face="Times New Roman" style="font-size: 18px;">GO(home, hws)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="236" y="1490" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-128" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(home)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="234" y="1460" width="134" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-129" value="<font style="font-size: 16px;" face="Times New Roman">EFF: at(hws), ¬at(home)<br></font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="220" y="1520" width="162" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-131" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-117">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="223" y="1560" as="sourcePoint" />
|
|
<mxPoint x="312" y="1464" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-133" value="<font face="Times New Roman" style="font-size: 18px;">GO(hws, sm)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="384" y="1610" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-134" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(hws)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="382" y="1580" width="134" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-135" value="<font style="font-size: 16px;" face="Times New Roman">EFF: at(sm), ¬at(hws)<br></font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="368" y="1640" width="162" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-141" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-117">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="428" y="1440" as="sourcePoint" />
|
|
<mxPoint x="180" y="1709" as="targetPoint" />
|
|
<Array as="points">
|
|
<mxPoint x="180" y="1430" />
|
|
</Array>
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-142" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-129">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="428" y="1440" as="sourcePoint" />
|
|
<mxPoint x="272" y="1705" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-143" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-129">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="311" y="1560" as="sourcePoint" />
|
|
<mxPoint x="459" y="1587" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-144" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;" edge="1" parent="1">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="420" y="1430" as="sourcePoint" />
|
|
<mxPoint x="397" y="1705" as="targetPoint" />
|
|
<Array as="points">
|
|
<mxPoint x="400" y="1520" />
|
|
<mxPoint x="360" y="1600" />
|
|
<mxPoint x="340" y="1660" />
|
|
</Array>
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-145" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-117">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="428" y="1440" as="sourcePoint" />
|
|
<mxPoint x="650" y="1707" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-146" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-135">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="589" y="1680" as="sourcePoint" />
|
|
<mxPoint x="479" y="1707" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-147" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-135">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="459" y="1680" as="sourcePoint" />
|
|
<mxPoint x="582" y="1708" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-148" value="" style="endArrow=classic;html=1;rounded=0;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-118" target="Ttsugk7DA3tm-EdlFs-_-133">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="400" y="1720" as="sourcePoint" />
|
|
<mxPoint x="450" y="1670" as="targetPoint" />
|
|
<Array as="points">
|
|
<mxPoint x="320" y="1745" />
|
|
<mxPoint x="320" y="1625" />
|
|
</Array>
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-178" value="<font style="font-size: 20px;" face="Times New Roman">Start</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="383" y="1980" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-179" value="<font style="font-size: 18px;" face="Times New Roman">PRE: at(home), have(drill), have(milk), have(banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="215.5" y="2440" width="435" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-180" value="<font style="font-size: 20px;" face="Times New Roman">Stop</font>" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
|
|
<mxGeometry x="383" y="2470" width="100" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-181" value="<font style="font-size: 18px;" face="Times New Roman">EFF: at(home), sells(hws, drill), sells(sm, milk), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="148" y="2010" width="570" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-182" value="<font face="Times New Roman" style="font-size: 18px;">BUY(hws, drill)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="271.5" y="2210" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-183" value="<font style="font-size: 16px;" face="Times New Roman">PRE: </font><font style="font-size: 16px;" face="Times New Roman">sells(hws, drill)</font><font style="font-size: 16px;" face="Times New Roman">, at(hws)<br></font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="237.5" y="2180" width="198" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-185" value="<font face="Times New Roman" style="font-size: 18px;">BUY(sm, milk)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="235.5" y="2350" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-186" value="<font face="Times New Roman" style="font-size: 18px;">BUY(sm, banana)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="640" y="2350" width="138" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-187" value="<font style="font-size: 16px;" face="Times New Roman">PRE: sells(sm, milk), </font><font style="font-size: 16px;" face="Times New Roman">at(sm)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="200.5" y="2320" width="199" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-188" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(sm), sells(sm, banana)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="614" y="2320" width="202" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-191" value="<font face="Times New Roman" style="font-size: 18px;">GO(home, hws)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="371" y="2110" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-192" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(home)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="369" y="2080" width="134" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-195" value="<font face="Times New Roman" style="font-size: 18px;">GO(hws, sm)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="514.5" y="2210" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-196" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(hws)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="512.5" y="2180" width="134" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-207" value="<font face="Times New Roman" style="font-size: 18px;">GO(sm, home)<br style="font-size: 18px;"></font>" style="rounded=0;whiteSpace=wrap;html=1;fontSize=18;" vertex="1" parent="1">
|
|
<mxGeometry x="429" y="2350" width="138" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-208" value="<font style="font-size: 16px;" face="Times New Roman">PRE: at(sm)</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
|
|
<mxGeometry x="433" y="2320" width="130" height="30" as="geometry" />
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-214" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-181">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="522" y="2060" as="sourcePoint" />
|
|
<mxPoint x="450" y="2086" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-215" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-191">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="436" y="2170" as="sourcePoint" />
|
|
<mxPoint x="406" y="2185" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-216" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-191">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="446" y="2150" as="sourcePoint" />
|
|
<mxPoint x="584" y="2187" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-217" value="" style="endArrow=classic;html=1;rounded=0;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-182" target="Ttsugk7DA3tm-EdlFs-_-195">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="400" y="2310" as="sourcePoint" />
|
|
<mxPoint x="450" y="2260" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-218" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-195">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="579.5" y="2270" as="sourcePoint" />
|
|
<mxPoint x="368" y="2327" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-219" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;" edge="1" parent="1">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="580" y="2240" as="sourcePoint" />
|
|
<mxPoint x="512" y="2325" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-220" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;" edge="1" parent="1">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="580" y="2240" as="sourcePoint" />
|
|
<mxPoint x="672" y="2326" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-221" value="" style="endArrow=classic;html=1;rounded=0;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-185" target="Ttsugk7DA3tm-EdlFs-_-207">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="412" y="2235" as="sourcePoint" />
|
|
<mxPoint x="525" y="2235" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-222" value="" style="endArrow=classic;html=1;rounded=0;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-186" target="Ttsugk7DA3tm-EdlFs-_-207">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="376" y="2375" as="sourcePoint" />
|
|
<mxPoint x="439" y="2375" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-223" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-185">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="590" y="2250" as="sourcePoint" />
|
|
<mxPoint x="480" y="2447" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-224" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-186">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="311" y="2390" as="sourcePoint" />
|
|
<mxPoint x="569" y="2446" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-225" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-207">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="719" y="2390" as="sourcePoint" />
|
|
<mxPoint x="310" y="2446" as="targetPoint" />
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-226" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;exitX=0.5;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-182">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="446" y="2150" as="sourcePoint" />
|
|
<mxPoint x="390" y="2447" as="targetPoint" />
|
|
<Array as="points">
|
|
<mxPoint x="190" y="2280" />
|
|
<mxPoint x="190" y="2410" />
|
|
<mxPoint x="300" y="2410" />
|
|
</Array>
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-227" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-181">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="443" y="2050" as="sourcePoint" />
|
|
<mxPoint x="309" y="2188" as="targetPoint" />
|
|
<Array as="points">
|
|
<mxPoint x="309" y="2061" />
|
|
</Array>
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-228" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;strokeWidth=3;" edge="1" parent="1" source="Ttsugk7DA3tm-EdlFs-_-181">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="443" y="2050" as="sourcePoint" />
|
|
<mxPoint x="734" y="2327" as="targetPoint" />
|
|
<Array as="points">
|
|
<mxPoint x="734" y="2090" />
|
|
</Array>
|
|
</mxGeometry>
|
|
</mxCell>
|
|
<mxCell id="Ttsugk7DA3tm-EdlFs-_-229" value="" style="endArrow=classic;html=1;rounded=0;strokeWidth=3;" edge="1" parent="1">
|
|
<mxGeometry width="50" height="50" relative="1" as="geometry">
|
|
<mxPoint x="430" y="2040" as="sourcePoint" />
|
|
<mxPoint x="274" y="2327" as="targetPoint" />
|
|
<Array as="points">
|
|
<mxPoint x="230" y="2140" />
|
|
<mxPoint x="230" y="2290" />
|
|
</Array>
|
|
</mxGeometry>
|
|
</mxCell>
|
|
</root>
|
|
</mxGraphModel>
|
|
</diagram>
|
|
</mxfile>
|