<?xml version="1.0" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
  <svg width="1265.2" height="782.4" viewBox="-20, -20, 1285.2, 802.4" version="1.1" xmlns="http://www.w3.org/2000/svg">
  <defs>
    <marker id="arrow" markerUnits="strokeWidth" markerWidth="11.520000000000001" markerHeight="11.520000000000001" viewBox="0 0 11.520000000000001 11.520000000000001" refX="5.760000000000001" refY="0">
      <polyline fill="none" stroke="black" stroke-width="1" points="0,11.520000000000001,5.760000000000001,0,11.520000000000001,11.520000000000001" />
    </marker>
    <marker id="arrowForward" viewBox="0 0 10 10" refX="5" refY="5" markerWidth="11.520000000000001" markerHeight="11.520000000000001" orient="auto-start-reverse">
      <path d="M 0 0 L 10 5 L 0 10 z" fill="black"/>
    </marker>
    <marker id="arrowBackward" viewBox="0 0 10 10" refX="5" refY="5" markerWidth="11.520000000000001" markerHeight="11.520000000000001" orient="auto">
      <path d="M 0 0 L 10 5 L 0 10 z" fill="black"/>
    </marker>
    <marker id="arrowBothways" viewBox="0 0 30 10" refX="15" refY="5" markerWidth="28.8" markerHeight="28.8" orient="auto">
      <path d="M 0 5 L 10 0 L 10 5 L 20 5 L 20 0 L 30 5 L 20 10 L 20 5 L 10 5 L 10 10 z" fill="black"/>
    </marker>
    <pattern id="hatchBlack" x="10" y="10" width="10" height="10" patternUnits="userSpaceOnUse" patternTransform="rotate(45)">
      <line x1="0" y="0" x2="0" y2="10" stroke="black" stroke-width="4"></line>
    </pattern>
    <pattern id="hatchForNode" x="10" y="10" width="10" height="10" patternUnits="userSpaceOnUse" patternTransform="rotate(45)">
      <line x1="0" y="0" x2="0" y2="10" stroke="black" stroke-width="4"></line>
    </pattern>
    <pattern id="hatchForLeaf" x="10" y="10" width="10" height="10" patternUnits="userSpaceOnUse" patternTransform="rotate(45)">
      <line x1="0" y="0" x2="0" y2="10" stroke="black" stroke-width="4"></line>
    </pattern>
  </defs>
<rect x="-20" y="-20" width="1285.2" height="802.4" stroke="none" fill="white" />"
<text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='575.425' y='132.0'><tspan x='575.425' y='132.0' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">chase(mouse)(cat)</tspan>
</text>
<text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='194.64999999999986' y='437.2'><tspan x='194.64999999999986' y='437.2' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif"><tspan style='fill:none;'>￭</tspan>λx.λy.chase(mouse)(y)<tspan style='fill:none;'>￭</tspan></tspan>
</text>
<text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='28.799999999999955' y='742.4'><tspan x='28.799999999999955' y='742.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif"><tspan style='fill:none;'>￭</tspan>λxλy.chase(x)(y)<tspan style='fill:none;'>￭</tspan></tspan>
</text>
<text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='687.0' y='742.4'><tspan x='687.0' y='742.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif"><tspan style='fill:none;'>￭</tspan>mouse<tspan style='fill:none;'>￭</tspan></tspan>
</text>
<text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='1068.2' y='437.2'><tspan x='1068.2' y='437.2' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif"><tspan style='fill:none;'>￭</tspan>cat<tspan style='fill:none;'>￭</tspan></tspan>
</text>
<line style='stroke:black; stroke-width:2;' x1='560.1499999999999' y1='327.2' x2='853.425' y2='187.0' />
<line style='stroke:black; stroke-width:2;' x1='1146.7' y1='327.2' x2='853.425' y2='187.0' />
<line style='stroke:black; stroke-width:2;' x1='300.29999999999995' y1='632.4' x2='560.1499999999999' y2='492.2' />
<line style='stroke:black; stroke-width:2;' x1='820.0' y1='632.4' x2='560.1499999999999' y2='492.2' />
</svg>