SCCD/test/semantics/big_step_maximality/10_orthogonal.svg

<?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:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="367.30496"
   height="347.60196"
   id="svg2"
   version="1.1"
   inkscape:version="0.48.4 r9939"
   sodipodi:docname="10_orthogonal.svg">
  <defs
     id="defs4">
    <marker
       inkscape:stockid="Arrow1Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow1Lend"
       style="overflow:visible">
      <path
         id="path5142"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(-0.8,0,0,-0.8,-10,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="DotL"
       orient="auto"
       refY="0"
       refX="0"
       id="DotL"
       style="overflow:visible">
      <path
         id="path5200"
         d="m -2.5,-1 c 0,2.76 -2.24,5 -5,5 -2.76,0 -5,-2.24 -5,-5 0,-2.76 2.24,-5 5,-5 2.76,0 5,2.24 5,5 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(0.8,0,0,0.8,5.92,0.8)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="DotL"
       orient="auto"
       refY="0"
       refX="0"
       id="DotL-6"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path5200-7"
         d="m -2.5,-1 c 0,2.76 -2.24,5 -5,5 -2.76,0 -5,-2.24 -5,-5 0,-2.76 2.24,-5 5,-5 2.76,0 5,2.24 5,5 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(0.8,0,0,0.8,5.92,0.8)" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow1Lend-1"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path5142-0"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow1Lend-6"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path5142-9"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow1Lend-7"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path5142-4"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow1Lend-67"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path5142-1"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow1Lend-8"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path5142-09"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker3038"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path3040"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
    </marker>
    <marker
       inkscape:stockid="DotL"
       orient="auto"
       refY="0"
       refX="0"
       id="DotL-4"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path5200-3"
         d="m -2.5,-1 c 0,2.76 -2.24,5 -5,5 -2.76,0 -5,-2.24 -5,-5 0,-2.76 2.24,-5 5,-5 2.76,0 5,2.24 5,5 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(0.8,0,0,0.8,5.92,0.8)" />
    </marker>
    <marker
       inkscape:stockid="Arrow1Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="marker3044"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path3046"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
    </marker>
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="1.4182101"
     inkscape:cx="173.85439"
     inkscape:cy="140.87212"
     inkscape:document-units="px"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1180"
     inkscape:window-height="810"
     inkscape:window-x="61"
     inkscape:window-y="99"
     inkscape:window-maximized="0"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0">
    <inkscape:grid
       type="xygrid"
       id="grid3794"
       empspacing="5"
       visible="true"
       enabled="true"
       snapvisiblegridlinesonly="true"
       originx="-14.405365px"
       originy="-695.74677px" />
  </sodipodi:namedview>
  <metadata
     id="metadata7">
    <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 />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(-14.405365,-63.801331)">
    <path
       transform="translate(1.4251671,174.72006)"
       sodipodi:type="arc"
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       id="path2985-9"
       sodipodi:cx="90.909088"
       sodipodi:cy="170.54401"
       sodipodi:rx="24.242424"
       sodipodi:ry="24.242424"
       d="m 115.15151,170.54401 c 0,13.38872 -10.8537,24.24242 -24.242422,24.24242 -13.388721,0 -24.242424,-10.8537 -24.242424,-24.24242 0,-13.38872 10.853703,-24.24243 24.242424,-24.24243 13.388722,0 24.242422,10.85371 24.242422,24.24243 z" />
    <text
       xml:space="preserve"
       style="font-size:40px;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="74.332504"
       y="356.05972"
       id="text3942-9"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3944-12"
         x="74.332504"
         y="356.05972"
         style="font-family:Latin Modern Roman;-inkscape-font-specification:Latin Modern Roman">sd</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#DotL);marker-end:url(#Arrow1Lend)"
       d="m 45.372795,297.40092 c 18.941273,-11.22446 24.553501,-2.80611 38.584072,23.15044"
       id="path4365-7"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       transform="translate(119.04079,175.26791)"
       sodipodi:type="arc"
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       id="path2985-9-0"
       sodipodi:cx="90.909088"
       sodipodi:cy="170.54401"
       sodipodi:rx="24.242424"
       sodipodi:ry="24.242424"
       d="m 115.15151,170.54401 c 0,13.38872 -10.8537,24.24242 -24.242422,24.24242 -13.388721,0 -24.242424,-10.8537 -24.242424,-24.24242 0,-13.38872 10.853703,-24.24243 24.242424,-24.24243 13.388722,0 24.242422,10.85371 24.242422,24.24243 z" />
    <text
       xml:space="preserve"
       style="font-size:40px;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="194.31267"
       y="355.41278"
       id="text3942-9-2"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3944-12-0"
         x="194.31267"
         y="355.41278"
         style="font-family:Latin Modern Roman;-inkscape-font-specification:Latin Modern Roman">se</tspan></text>
    <path
       transform="translate(238.51453,174.68851)"
       sodipodi:type="arc"
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       id="path2985-9-09"
       sodipodi:cx="90.909088"
       sodipodi:cy="170.54401"
       sodipodi:rx="24.242424"
       sodipodi:ry="24.242424"
       d="m 115.15151,170.54401 c 0,13.38872 -10.8537,24.24242 -24.242422,24.24242 -13.388721,0 -24.242424,-10.8537 -24.242424,-24.24242 0,-13.38872 10.853703,-24.24243 24.242424,-24.24243 13.388722,0 24.242422,10.85371 24.242422,24.24243 z" />
    <text
       xml:space="preserve"
       style="font-size:40px;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.59961"
       y="357.77036"
       id="text3942-9-21"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3944-12-2"
         x="313.59961"
         y="357.77036"
         style="font-family:Latin Modern Roman;-inkscape-font-specification:Latin Modern Roman">sf</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend)"
       d="m 220.17887,323.29786 c 0,0 45.42716,-52.98472 97.71035,0"
       id="path3796-0-3"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <rect
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:4, 4;stroke-dashoffset:0"
       id="rect6483-3"
       width="366.18927"
       height="169.69746"
       x="15.021065"
       y="241.20583" />
    <path
       transform="translate(1.30947,-8.5304625)"
       sodipodi:type="arc"
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       id="path2985-9-1"
       sodipodi:cx="90.909088"
       sodipodi:cy="170.54401"
       sodipodi:rx="24.242424"
       sodipodi:ry="24.242424"
       d="m 115.15151,170.54401 c 0,13.38872 -10.8537,24.24242 -24.242422,24.24242 -13.388721,0 -24.242424,-10.8537 -24.242424,-24.24242 0,-13.38872 10.853703,-24.24243 24.242424,-24.24243 13.388722,0 24.242422,10.85371 24.242422,24.24243 z" />
    <text
       xml:space="preserve"
       style="font-size:40px;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="75.523453"
       y="170.19586"
       id="text3942-9-27"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3944-12-3"
         x="75.523453"
         y="170.19586"
         style="font-family:Latin Modern Roman;-inkscape-font-specification:Latin Modern Roman">sa</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#DotL);marker-end:url(#Arrow1Lend)"
       d="m 45.25709,114.1504 c 18.94128,-11.22446 24.55351,-2.80611 38.58408,23.15044"
       id="path4365-7-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       transform="translate(118.92509,-7.9826125)"
       sodipodi:type="arc"
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       id="path2985-9-0-4"
       sodipodi:cx="90.909088"
       sodipodi:cy="170.54401"
       sodipodi:rx="24.242424"
       sodipodi:ry="24.242424"
       d="m 115.15151,170.54401 c 0,13.38872 -10.8537,24.24242 -24.242422,24.24242 -13.388721,0 -24.242424,-10.8537 -24.242424,-24.24242 0,-13.38872 10.853703,-24.24243 24.242424,-24.24243 13.388722,0 24.242422,10.85371 24.242422,24.24243 z" />
    <text
       xml:space="preserve"
       style="font-size:40px;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="192.0192"
       y="173.9045"
       id="text3942-9-2-8"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3944-12-0-6"
         x="192.0192"
         y="173.9045"
         style="font-family:Latin Modern Roman;-inkscape-font-specification:Latin Modern Roman">sb</tspan></text>
    <path
       transform="translate(238.39883,-8.5620125)"
       sodipodi:type="arc"
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       id="path2985-9-09-6"
       sodipodi:cx="90.909088"
       sodipodi:cy="170.54401"
       sodipodi:rx="24.242424"
       sodipodi:ry="24.242424"
       d="m 115.15151,170.54401 c 0,13.38872 -10.8537,24.24242 -24.242422,24.24242 -13.388721,0 -24.242424,-10.8537 -24.242424,-24.24242 0,-13.38872 10.853703,-24.24243 24.242424,-24.24243 13.388722,0 24.242422,10.85371 24.242422,24.24243 z" />
    <text
       xml:space="preserve"
       style="font-size:40px;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.91943"
       y="171.03542"
       id="text3942-9-21-6"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3944-12-2-0"
         x="313.91943"
         y="171.03542"
         style="font-family:Latin Modern Roman;-inkscape-font-specification:Latin Modern Roman">sc</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend)"
       d="m 220.06317,140.04734 c 0,0 45.42716,-52.984723 97.71035,0"
       id="path3796-0-3-4"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <rect
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:4, 4;stroke-dashoffset:0"
       id="rect6483-3-8"
       width="366.18927"
       height="169.69746"
       x="14.905365"
       y="64.301331" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend)"
       d="m 102.74637,139.72943 c 0,0 45.42716,-52.984723 97.71035,0"
       id="path3796-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
  </g>
  <path
     style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend)"
     d="m 88.456705,259.17862 c 0,0 45.427165,-52.98472 97.710355,0"
     id="path3796"
     inkscape:connector-curvature="0"
     sodipodi:nodetypes="cc" />
</svg>