summaryrefslogblamecommitdiff
path: root/doc/prez/property.svg
blob: a3d085c11da8adb0e07f51d7efdf95d1639dd3f9 (plain) (tree)























































































































































































































































































                                                                                                                                                                                                                                                                                                                                                                                                                                                
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:xlink="http://www.w3.org/1999/xlink"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="640px"
   height="480px"
   id="svg6553"
   version="1.1"
   inkscape:version="0.48.4 r9939"
   sodipodi:docname="property.svg">
  <defs
     id="defs6555">
    <pattern
       inkscape:collect="always"
       xlink:href="#Strips1_1"
       id="pattern7089"
       patternTransform="matrix(4.9170391,4.8741499,-32.098984,32.381433,248.23706,146.68553)" />
    <pattern
       inkscape:stockid="Stripes 1:1"
       id="Strips1_1"
       patternTransform="translate(0,0) scale(10,10)"
       height="1"
       width="2"
       patternUnits="userSpaceOnUse"
       inkscape:collect="always">
      <rect
         id="rect4486"
         height="2"
         width="1"
         y="-0.5"
         x="0"
         style="fill:black;stroke:none" />
    </pattern>
    <pattern
       inkscape:collect="always"
       xlink:href="#Strips1_1-7"
       id="pattern7089-0"
       patternTransform="matrix(4.9170391,4.8741499,-32.098984,32.381433,248.23706,146.68553)" />
    <pattern
       inkscape:stockid="Stripes 1:1"
       id="Strips1_1-7"
       patternTransform="translate(0,0) scale(10,10)"
       height="1"
       width="2"
       patternUnits="userSpaceOnUse"
       inkscape:collect="always">
      <rect
         id="rect4486-1"
         height="2"
         width="1"
         y="-0.5"
         x="0"
         style="fill:black;stroke:none" />
    </pattern>
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="1.095627"
     inkscape:cx="320"
     inkscape:cy="281.22383"
     inkscape:current-layer="layer1"
     inkscape:document-units="px"
     showgrid="false"
     showguides="true"
     inkscape:guide-bbox="true"
     inkscape:window-width="1641"
     inkscape:window-height="849"
     inkscape:window-x="183"
     inkscape:window-y="160"
     inkscape:window-maximized="0" />
  <metadata
     id="metadata6558">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title></dc:title>
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     id="layer1"
     inkscape:label="Layer 1"
     inkscape:groupmode="layer">
    <g
       id="g7124"
       transform="translate(-30.608532,-104.30486)">
      <path
         sodipodi:nodetypes="sssssssss"
         inkscape:connector-curvature="0"
         id="path7069"
         d="m 92.18466,231.74032 c 0,-54.28392 24.52482,-75.75571 79.40659,-75.75571 47.44479,0 47.67731,39.7033 76.21207,39.7033 31.43902,0 31.2808,-40.61602 81.68838,-40.61602 46.59649,0 76.59323,21.89564 76.66843,70.2794 0.0915,58.8704 -29.52809,77.74725 -61.4749,77.74725 -65.82969,0 -65.39144,-31.33223 -96.85544,-31.33223 -28.55406,0 -27.66032,31.16613 -88.1039,31.16613 -43.34073,0 -67.54123,-18.82241 -67.54123,-71.19212 z"
         style="fill:#d5ffe6;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
      <path
         transform="matrix(0.88812517,0,0,0.88812517,76.590003,70.465993)"
         d="m 348.51064,179.89362 c 0,34.21815 -27.73929,61.95744 -61.95745,61.95744 -34.21815,0 -61.95744,-27.73929 -61.95744,-61.95744 0,-34.21816 27.73929,-61.95745 61.95744,-61.95745 34.21816,0 61.95745,27.73929 61.95745,61.95745 z"
         sodipodi:ry="61.957447"
         sodipodi:rx="61.957447"
         sodipodi:cy="179.89362"
         sodipodi:cx="286.55319"
         id="path7091"
         style="fill:#d5e5ff;stroke:#000000;stroke-width:3.37790227;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
         sodipodi:type="arc" />
      <g
         id="g7120">
        <path
           sodipodi:type="arc"
           style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:3.49664593;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
           id="path7085-2"
           sodipodi:cx="296.87943"
           sodipodi:cy="197.31915"
           sodipodi:rx="34.851063"
           sodipodi:ry="34.851063"
           d="m 331.73049,197.31915 c 0,19.24771 -15.60335,34.85107 -34.85106,34.85107 -19.24772,0 -34.85107,-15.60336 -34.85107,-34.85107 0,-19.24771 15.60335,-34.85106 34.85107,-34.85106 19.24771,0 34.85106,15.60335 34.85106,34.85106 z"
           transform="matrix(0.85796507,0,0,0.85796507,76.372928,60.941104)" />
        <path
           sodipodi:type="arc"
           style="fill:url(#pattern7089);fill-opacity:1;stroke:#000000;stroke-width:3.49664593;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
           id="path7085"
           sodipodi:cx="296.87943"
           sodipodi:cy="197.31915"
           sodipodi:rx="34.851063"
           sodipodi:ry="34.851063"
           d="m 331.73049,197.31915 c 0,19.24771 -15.60335,34.85107 -34.85106,34.85107 -19.24772,0 -34.85107,-15.60336 -34.85107,-34.85107 0,-19.24771 15.60335,-34.85106 34.85107,-34.85106 19.24771,0 34.85106,15.60335 34.85106,34.85106 z"
           transform="matrix(0.85796507,0,0,0.85796507,76.372929,60.9411)" />
      </g>
    </g>
    <g
       id="g7302"
       transform="translate(-73.204277,11.865352)">
      <path
         transform="matrix(1.6068752,0,0,1.6068752,-86.77435,24.422779)"
         d="m 348.51064,179.89362 c 0,34.21815 -27.73929,61.95744 -61.95745,61.95744 -34.21815,0 -61.95744,-27.73929 -61.95744,-61.95744 0,-34.21816 27.73929,-61.95745 61.95744,-61.95745 34.21816,0 61.95745,27.73929 61.95745,61.95745 z"
         sodipodi:ry="61.957447"
         sodipodi:rx="61.957447"
         sodipodi:cy="179.89362"
         sodipodi:cx="286.55319"
         id="path7091-1"
         style="fill:#f4d7e3;stroke:#000000;stroke-width:1.86697769;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
         sodipodi:type="arc" />
      <path
         sodipodi:nodetypes="sssssssss"
         inkscape:connector-curvature="0"
         id="path7069-3"
         d="m 134.78041,314.99564 c 0,-54.28392 24.52482,-75.75571 79.40659,-75.75571 47.44479,0 47.67731,39.7033 76.21207,39.7033 31.43902,0 31.2808,-40.61602 81.68838,-40.61602 46.59649,0 76.59323,21.89564 76.66843,70.2794 0.0915,58.8704 -29.52809,77.74725 -61.4749,77.74725 -65.82969,0 -65.39144,-31.33223 -96.85544,-31.33223 -28.55406,0 -27.66032,31.16613 -88.1039,31.16613 -43.34073,0 -67.54123,-18.82241 -67.54123,-71.19212 z"
         style="fill:#d5ffe6;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
      <path
         id="path7069-3-9"
         d="m 372.09375,238.3125 c -50.40758,0 -50.24848,40.625 -81.6875,40.625 -3.55518,0 -6.67744,-0.60845 -9.5,-1.6875 -4.38635,11.22536 -6.78125,23.47113 -6.78125,36.25 0,15.09681 3.36164,29.39871 9.375,42.21875 2.12423,-0.4429 4.41673,-0.6875 6.9375,-0.6875 31.464,0 31.01406,31.3125 96.84375,31.3125 31.94681,0 61.56025,-18.8796 61.46875,-77.75 -0.0752,-48.38376 -30.05976,-70.28125 -76.65625,-70.28125 z"
         style="fill:#d5e5ff;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
         inkscape:connector-curvature="0" />
      <g
         transform="translate(42.59575,83.255323)"
         id="g7120-1">
        <path
           sodipodi:type="arc"
           style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:3.49664593;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
           id="path7085-2-2"
           sodipodi:cx="296.87943"
           sodipodi:cy="197.31915"
           sodipodi:rx="34.851063"
           sodipodi:ry="34.851063"
           d="m 331.73049,197.31915 c 0,19.24771 -15.60335,34.85107 -34.85106,34.85107 -19.24772,0 -34.85107,-15.60336 -34.85107,-34.85107 0,-19.24771 15.60335,-34.85106 34.85107,-34.85106 19.24771,0 34.85106,15.60335 34.85106,34.85106 z"
           transform="matrix(0.85796507,0,0,0.85796507,76.372928,60.941104)" />
        <path
           sodipodi:type="arc"
           style="fill:url(#pattern7089-0);fill-opacity:1;stroke:#000000;stroke-width:3.49664593;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
           id="path7085-0"
           sodipodi:cx="296.87943"
           sodipodi:cy="197.31915"
           sodipodi:rx="34.851063"
           sodipodi:ry="34.851063"
           d="m 331.73049,197.31915 c 0,19.24771 -15.60335,34.85107 -34.85106,34.85107 -19.24772,0 -34.85107,-15.60336 -34.85107,-34.85107 0,-19.24771 15.60335,-34.85106 34.85107,-34.85106 19.24771,0 34.85106,15.60335 34.85106,34.85106 z"
           transform="matrix(0.85796507,0,0,0.85796507,76.372929,60.9411)" />
      </g>
      <path
         transform="matrix(1.6068752,0,0,1.6068752,-86.774353,24.422775)"
         d="m 348.51064,179.89362 c 0,34.21815 -27.73929,61.95744 -61.95745,61.95744 -34.21815,0 -61.95744,-27.73929 -61.95744,-61.95744 0,-34.21816 27.73929,-61.95745 61.95744,-61.95745 34.21816,0 61.95745,27.73929 61.95745,61.95745 z"
         sodipodi:ry="61.957447"
         sodipodi:rx="61.957447"
         sodipodi:cy="179.89362"
         sodipodi:cx="286.55319"
         id="path7091-1-7"
         style="fill:none;stroke:#000000;stroke-width:1.86697769;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
         sodipodi:type="arc" />
      <text
         sodipodi:linespacing="125%"
         id="text7277"
         y="359.31992"
         x="189.8259"
         style="font-size:10px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
         xml:space="preserve"><tspan
           y="359.31992"
           x="189.8259"
           id="tspan7279"
           sodipodi:role="line">\large $P$</tspan></text>
    </g>
    <text
       xml:space="preserve"
       style="font-size:10px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="116.62163"
       y="158.96265"
       id="text7277-0"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan7279-1"
         x="116.62163"
         y="158.96265">\large $P$</tspan></text>
    <path
       style="fill:none;stroke:#006700;stroke-width:10;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       d="m 487.78847,137.49463 17.9425,17.62119 44.69885,-43.89838"
       id="path7313"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#820000;stroke-width:10;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       d="m 496.49557,315.2692 51.54828,50.92205 m -0.12331,-51.16864 -52.04158,52.03172"
       id="path7319"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cccc" />
    <text
       xml:space="preserve"
       style="font-size:10px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="309.41187"
       y="169.6754"
       id="text7348"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         x="309.41187"
         y="169.6754"
         id="tspan7364">$S$</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:10px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="333.14258"
       y="187.92979"
       id="text7352"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         x="333.14258"
         y="187.92979"
         id="tspan7368">$S^\sharp$</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:10px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="313.06274"
       y="371.38641"
       id="text7356"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan7358"
         x="313.06274"
         y="371.38641">$S$</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:10px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="376.04037"
       y="406.06973"
       id="text7360"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan7362"
         x="376.04037"
         y="406.06973">$S^\sharp$</tspan></text>
  </g>
</svg>