rsyntaxtree 1.2.5 → 1.2.6

Sign up to get free protection for your applications and to get access to all the features.
Files changed (187) hide show
  1. checksums.yaml +4 -4
  2. data/.tags +462 -459
  3. data/Dockerfile +19 -0
  4. data/Gemfile +0 -3
  5. data/README.md +16 -14
  6. data/Rakefile +14 -2
  7. data/bin/rsyntaxtree +1 -1
  8. data/{devel → dev}/generate_examples.rb +25 -9
  9. data/docs/.gitignore +0 -0
  10. data/docs/404.html +0 -0
  11. data/docs/Gemfile +0 -0
  12. data/docs/_config.yml +0 -0
  13. data/docs/_examples/000.md +0 -0
  14. data/docs/_examples/001.md +0 -0
  15. data/docs/_examples/002.md +0 -0
  16. data/docs/_examples/003.md +0 -0
  17. data/docs/_examples/004.md +0 -0
  18. data/docs/_examples/005.md +0 -0
  19. data/docs/_examples/006.md +0 -0
  20. data/docs/_examples/007.md +0 -0
  21. data/docs/_examples/008.md +0 -0
  22. data/docs/_examples/009.md +0 -0
  23. data/docs/_examples/010.md +0 -0
  24. data/docs/_examples/011.md +0 -0
  25. data/docs/_examples/012.md +0 -0
  26. data/docs/_examples/013.md +0 -0
  27. data/docs/_examples/014.md +0 -0
  28. data/docs/_examples/015.md +0 -0
  29. data/docs/_examples/016.md +0 -0
  30. data/docs/_examples/017.md +0 -0
  31. data/docs/_examples/018.md +0 -0
  32. data/docs/_examples/019.md +0 -0
  33. data/docs/_examples/020.md +0 -0
  34. data/docs/_examples/021.md +0 -0
  35. data/docs/_examples/022.md +0 -0
  36. data/docs/_examples/023.md +0 -0
  37. data/docs/_examples/024.md +0 -0
  38. data/docs/_examples/025.md +0 -0
  39. data/docs/_examples/026.md +0 -0
  40. data/docs/_examples/027.md +0 -0
  41. data/docs/_examples/028.md +0 -0
  42. data/docs/_examples/029.md +0 -0
  43. data/docs/_examples/030.md +0 -0
  44. data/docs/_examples/031.md +0 -0
  45. data/docs/_examples/032.md +0 -0
  46. data/docs/_examples/033.md +0 -0
  47. data/docs/_examples/034.md +0 -0
  48. data/docs/_examples/035.md +0 -0
  49. data/docs/_examples/036.md +0 -0
  50. data/docs/_examples/037.md +0 -0
  51. data/docs/_examples/038.md +0 -0
  52. data/docs/_examples/039.md +0 -0
  53. data/docs/_examples/040.md +0 -0
  54. data/docs/_examples/041.md +0 -0
  55. data/docs/_examples/042.md +0 -0
  56. data/docs/_examples/043.md +0 -0
  57. data/docs/_examples/044.md +1 -1
  58. data/docs/_examples/045.md +0 -0
  59. data/docs/_examples/046.md +440 -0
  60. data/docs/_includes/box_and_circle_table.html +0 -0
  61. data/docs/_includes/escape_char_table.html +0 -0
  62. data/docs/_includes/social_media_links.html +0 -0
  63. data/docs/_layouts/default.html +0 -0
  64. data/docs/assets/css/style.scss +0 -0
  65. data/docs/assets/img/000.png +0 -0
  66. data/docs/assets/img/001.png +0 -0
  67. data/docs/assets/img/002.png +0 -0
  68. data/docs/assets/img/003.png +0 -0
  69. data/docs/assets/img/004.png +0 -0
  70. data/docs/assets/img/005.png +0 -0
  71. data/docs/assets/img/006.png +0 -0
  72. data/docs/assets/img/007.png +0 -0
  73. data/docs/assets/img/008.png +0 -0
  74. data/docs/assets/img/009.png +0 -0
  75. data/docs/assets/img/010.png +0 -0
  76. data/docs/assets/img/011.png +0 -0
  77. data/docs/assets/img/012.png +0 -0
  78. data/docs/assets/img/013.png +0 -0
  79. data/docs/assets/img/014.png +0 -0
  80. data/docs/assets/img/015.png +0 -0
  81. data/docs/assets/img/016.png +0 -0
  82. data/docs/assets/img/017.png +0 -0
  83. data/docs/assets/img/018.png +0 -0
  84. data/docs/assets/img/019.png +0 -0
  85. data/docs/assets/img/020.png +0 -0
  86. data/docs/assets/img/021.png +0 -0
  87. data/docs/assets/img/022.png +0 -0
  88. data/docs/assets/img/023.png +0 -0
  89. data/docs/assets/img/024.png +0 -0
  90. data/docs/assets/img/025.png +0 -0
  91. data/docs/assets/img/026.png +0 -0
  92. data/docs/assets/img/027.png +0 -0
  93. data/docs/assets/img/028.png +0 -0
  94. data/docs/assets/img/029.png +0 -0
  95. data/docs/assets/img/030.png +0 -0
  96. data/docs/assets/img/031.png +0 -0
  97. data/docs/assets/img/032.png +0 -0
  98. data/docs/assets/img/033.png +0 -0
  99. data/docs/assets/img/034.png +0 -0
  100. data/docs/assets/img/035.png +0 -0
  101. data/docs/assets/img/036.png +0 -0
  102. data/docs/assets/img/037.png +0 -0
  103. data/docs/assets/img/038.png +0 -0
  104. data/docs/assets/img/039.png +0 -0
  105. data/docs/assets/img/040.png +0 -0
  106. data/docs/assets/img/041.png +0 -0
  107. data/docs/assets/img/042.png +0 -0
  108. data/docs/assets/img/043.png +0 -0
  109. data/docs/assets/img/044.png +0 -0
  110. data/docs/assets/img/045.png +0 -0
  111. data/docs/assets/img/046.png +0 -0
  112. data/docs/assets/img/elements/circle.png +0 -0
  113. data/docs/assets/img/elements/circle_abc.png +0 -0
  114. data/docs/assets/img/elements/circle_bold.png +0 -0
  115. data/docs/assets/img/elements/circle_hatched.png +0 -0
  116. data/docs/assets/img/elements/circle_one.png +0 -0
  117. data/docs/assets/img/elements/connector.png +0 -0
  118. data/docs/assets/img/elements/connector_bold.png +0 -0
  119. data/docs/assets/img/elements/square.png +0 -0
  120. data/docs/assets/img/elements/square_abc.png +0 -0
  121. data/docs/assets/img/elements/square_bold.png +0 -0
  122. data/docs/assets/img/elements/square_hatched.png +0 -0
  123. data/docs/assets/img/elements/square_one.png +0 -0
  124. data/docs/assets/img/favicon/apple-touch-icon.png +0 -0
  125. data/docs/assets/img/favicon/favicon-16x16.png +0 -0
  126. data/docs/assets/img/favicon/favicon-32x32.png +0 -0
  127. data/docs/assets/img/favicon/favicon.ico +0 -0
  128. data/docs/assets/svg/000.svg +32 -32
  129. data/docs/assets/svg/001.svg +14 -14
  130. data/docs/assets/svg/002.svg +32 -32
  131. data/docs/assets/svg/003.svg +24 -24
  132. data/docs/assets/svg/004.svg +35 -35
  133. data/docs/assets/svg/005.svg +15 -15
  134. data/docs/assets/svg/006.svg +20 -20
  135. data/docs/assets/svg/007.svg +26 -26
  136. data/docs/assets/svg/008.svg +30 -30
  137. data/docs/assets/svg/009.svg +29 -29
  138. data/docs/assets/svg/010.svg +47 -47
  139. data/docs/assets/svg/011.svg +24 -24
  140. data/docs/assets/svg/012.svg +29 -29
  141. data/docs/assets/svg/013.svg +119 -119
  142. data/docs/assets/svg/014.svg +82 -82
  143. data/docs/assets/svg/015.svg +28 -28
  144. data/docs/assets/svg/016.svg +375 -375
  145. data/docs/assets/svg/017.svg +44 -44
  146. data/docs/assets/svg/018.svg +32 -32
  147. data/docs/assets/svg/019.svg +168 -168
  148. data/docs/assets/svg/020.svg +57 -57
  149. data/docs/assets/svg/021.svg +52 -52
  150. data/docs/assets/svg/022.svg +90 -90
  151. data/docs/assets/svg/023.svg +51 -51
  152. data/docs/assets/svg/024.svg +18 -18
  153. data/docs/assets/svg/025.svg +116 -116
  154. data/docs/assets/svg/026.svg +18 -18
  155. data/docs/assets/svg/027.svg +58 -58
  156. data/docs/assets/svg/028.svg +16 -16
  157. data/docs/assets/svg/029.svg +72 -72
  158. data/docs/assets/svg/030.svg +35 -35
  159. data/docs/assets/svg/031.svg +10 -10
  160. data/docs/assets/svg/032.svg +45 -45
  161. data/docs/assets/svg/033.svg +35 -35
  162. data/docs/assets/svg/034.svg +43 -43
  163. data/docs/assets/svg/035.svg +37 -37
  164. data/docs/assets/svg/036.svg +14 -14
  165. data/docs/assets/svg/037.svg +6 -6
  166. data/docs/assets/svg/038.svg +39 -39
  167. data/docs/assets/svg/039.svg +2 -2
  168. data/docs/assets/svg/040.svg +89 -89
  169. data/docs/assets/svg/041.svg +49 -49
  170. data/docs/assets/svg/042.svg +10 -10
  171. data/docs/assets/svg/043.svg +124 -124
  172. data/docs/assets/svg/044.svg +3 -3
  173. data/docs/assets/svg/045.svg +60 -60
  174. data/docs/assets/svg/046.svg +990 -0
  175. data/docs/documentation.md +0 -0
  176. data/docs/documentation_ja.md +0 -0
  177. data/docs/examples.html +2 -2
  178. data/docs/index.html +0 -0
  179. data/lib/rsyntaxtree/element.rb +1 -6
  180. data/lib/rsyntaxtree/string_parser.rb +4 -4
  181. data/lib/rsyntaxtree/svg_graph.rb +13 -13
  182. data/lib/rsyntaxtree/version.rb +1 -1
  183. data/lib/rsyntaxtree.rb +4 -2
  184. metadata +8 -7
  185. data/docs/assets/img/014_.png +0 -0
  186. data/fonts/NotoEmoji-Bold.ttf +0 -0
  187. data/fonts/NotoEmoji-Regular.ttf +0 -0
@@ -1,6 +1,6 @@
1
1
  <?xml version="1.0" standalone="no"?>
2
2
  <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
3
- <svg width="2961.4" height="1987.0" viewBox="-20, -20, 2981.4, 2007.0" version="1.1" xmlns="http://www.w3.org/2000/svg">
3
+ <svg width="2961.4" height="1712.0" viewBox="-20, -20, 3001.4, 1752.0" version="1.1" xmlns="http://www.w3.org/2000/svg">
4
4
  <defs>
5
5
  <marker id="arrow" markerUnits="userSpaceOnUse" viewBox="0 0 10 10" refX="10" refY="5" markerWidth="33.6" markerHeight="33.6" orient="auto">
6
6
  <path d="M 0 0 L 10 5 L 0 10" fill="black"/>
@@ -24,53 +24,53 @@
24
24
  <line x1="0" y="0" x2="0" y2="10" stroke="black" stroke-width="4"></line>
25
25
  </pattern>
26
26
  </defs>
27
- <rect x="-20" y="-20" width="2981.4" height="2007.0" stroke="none" fill="white" />"
27
+ <rect x="-20" y="-20" width="3001.4" height="1752.0" stroke="none" fill="white" />"
28
28
  <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='666.4000000000001' y='132.0'><tspan x='666.4000000000001' y='132.0' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Subject-Predicate<tspan style='fill:none;'>■</tspan>Construction</tspan>
29
29
  </text>
30
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='162.60000000000002' y='477.4'><tspan x='162.60000000000002' y='477.4' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Intransitive</tspan>
30
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='162.60000000000002' y='466.4'><tspan x='162.60000000000002' y='466.4' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Intransitive</tspan>
31
31
  </text>
32
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='322.1' y='855.8'><tspan x='322.1' y='855.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif"><tspan style='fill:none;'>■</tspan></tspan>
32
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='322.1' y='800.8'><tspan x='322.1' y='800.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif"><tspan style='fill:none;'>■</tspan></tspan>
33
33
  </text>
34
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='322.1' y='1234.1999999999998'><tspan x='322.1' y='1234.1999999999998' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif"><tspan style='fill:none;'>■</tspan></tspan>
34
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='322.1' y='1135.1999999999998'><tspan x='322.1' y='1135.1999999999998' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif"><tspan style='fill:none;'>■</tspan></tspan>
35
35
  </text>
36
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='33.60000000000002' y='1612.6'><tspan x='34.60000000000002' y='1612.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Intransitive<tspan style='fill:none;'>■</tspan>Motion</tspan>
37
- <tspan x='33.60000000000002' y='1788.6' style="font-style: italic; " text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">The<tspan style='fill:none;'>■</tspan>boy<tspan style='fill:none;'>■</tspan>ran<tspan style='fill:none;'>■</tspan>home.</tspan>
36
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='33.60000000000002' y='1469.6'><tspan x='34.60000000000002' y='1469.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Intransitive<tspan style='fill:none;'>■</tspan>Motion</tspan>
37
+ <tspan x='33.60000000000002' y='1645.6' style="font-style: italic; " text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">The<tspan style='fill:none;'>■</tspan>boy<tspan style='fill:none;'>■</tspan>ran<tspan style='fill:none;'>■</tspan>home.</tspan>
38
38
  </text>
39
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='1795.2000000000003' y='477.4'><tspan x='1795.2000000000003' y='477.4' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Transitive</tspan>
39
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='1795.2000000000003' y='466.4'><tspan x='1795.2000000000003' y='466.4' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Transitive</tspan>
40
40
  </text>
41
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='783.0' y='855.8'><tspan x='1153.5' y='855.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Caused-Motion</tspan>
42
- <tspan x='783.0' y='1031.8' style="font-style: italic; " text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Pat<tspan style='fill:none;'>■</tspan>sneezed<tspan style='fill:none;'>■</tspan>the<tspan style='fill:none;'>■</tspan>napkin<tspan style='fill:none;'>■</tspan>off<tspan style='fill:none;'>■</tspan>the<tspan style='fill:none;'>■</tspan>table.</tspan>
41
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='783.0' y='800.8'><tspan x='1153.5' y='800.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Caused-Motion</tspan>
42
+ <tspan x='783.0' y='976.8' style="font-style: italic; " text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Pat<tspan style='fill:none;'>■</tspan>sneezed<tspan style='fill:none;'>■</tspan>the<tspan style='fill:none;'>■</tspan>napkin<tspan style='fill:none;'>■</tspan>off<tspan style='fill:none;'>■</tspan>the<tspan style='fill:none;'>■</tspan>table.</tspan>
43
43
  </text>
44
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='2114.4' y='855.8'><tspan x='2337.9' y='855.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Ditransitive</tspan>
45
- <tspan x='2114.4' y='1031.8' style="font-style: italic; " text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Pat<tspan style='fill:none;'>■</tspan>threw<tspan style='fill:none;'>■</tspan>Chris<tspan style='fill:none;'>■</tspan>the<tspan style='fill:none;'>■</tspan>ball.</tspan>
44
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='2114.4' y='800.8'><tspan x='2337.9' y='800.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Ditransitive</tspan>
45
+ <tspan x='2114.4' y='976.8' style="font-style: italic; " text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Pat<tspan style='fill:none;'>■</tspan>threw<tspan style='fill:none;'>■</tspan>Chris<tspan style='fill:none;'>■</tspan>the<tspan style='fill:none;'>■</tspan>ball.</tspan>
46
46
  </text>
47
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='341.1' y1='367.4' x2='1145.4' y2='187.0' />
48
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='1949.7000000000003' y1='367.4' x2='1145.4' y2='187.0' />
49
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='341.1' y1='745.8' x2='341.1' y2='532.4' />
50
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='341.1' y1='1124.1999999999998' x2='341.1' y2='910.8' />
51
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='341.1' y1='1502.6' x2='341.1' y2='1289.1999999999998' />
52
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='1381.5' y1='745.8' x2='1949.7000000000003' y2='532.4' />
53
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='2517.9' y1='745.8' x2='1949.7000000000003' y2='532.4' />
54
- <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round;'
47
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='341.1' y1='356.4' x2='1145.4' y2='187.0' />
48
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='1949.7000000000003' y1='356.4' x2='1145.4' y2='187.0' />
49
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='341.1' y1='690.8' x2='341.1' y2='521.4' />
50
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='341.1' y1='1025.1999999999998' x2='341.1' y2='855.8' />
51
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='341.1' y1='1359.6' x2='341.1' y2='1190.1999999999998' />
52
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='1381.5' y1='690.8' x2='1949.7000000000003' y2='521.4' />
53
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='2517.9' y1='690.8' x2='1949.7000000000003' y2='521.4' />
54
+ <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round; stroke-linecap:round;'
55
55
  points='649.6000000000001,33.0 1641.2000000000003,33.0 1641.2000000000003,176.0 649.6000000000001,176.0' />
56
56
 
57
- <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round;'
58
- points='145.8,378.4 536.4000000000001,378.4 536.4000000000001,521.4 145.8,521.4' />
57
+ <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round; stroke-linecap:round;'
58
+ points='145.8,367.4 536.4000000000001,367.4 536.4000000000001,510.4 145.8,510.4' />
59
59
 
60
- <line style="stroke:black; stroke-width:3; " x1="33.60000000000002" y1="1678.6" x2="648.6" y2="1678.6"></line>
61
- <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round;'
62
- points='16.800000000000022,1513.6 665.4000000000001,1513.6 665.4000000000001,1832.6 16.800000000000022,1832.6' />
60
+ <line style="stroke:black; stroke-linecap:round; stroke-width:3; " x1="33.60000000000002" y1="1535.6" x2="648.6" y2="1535.6"></line>
61
+ <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round; stroke-linecap:round;'
62
+ points='16.800000000000022,1370.6 665.4000000000001,1370.6 665.4000000000001,1689.6 16.800000000000022,1689.6' />
63
63
 
64
- <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round;'
65
- points='1778.4000000000003,378.4 2121.0000000000005,378.4 2121.0000000000005,521.4 1778.4000000000003,521.4' />
64
+ <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round; stroke-linecap:round;'
65
+ points='1778.4000000000003,367.4 2121.0000000000005,367.4 2121.0000000000005,510.4 1778.4000000000003,510.4' />
66
66
 
67
- <line style="stroke:black; stroke-width:3; " x1="783.0" y1="921.8" x2="1980.0" y2="921.8"></line>
68
- <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round;'
69
- points='766.2,756.8 1996.8,756.8 1996.8,1075.8 766.2,1075.8' />
67
+ <line style="stroke:black; stroke-linecap:round; stroke-width:3; " x1="783.0" y1="866.8" x2="1980.0" y2="866.8"></line>
68
+ <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round; stroke-linecap:round;'
69
+ points='766.2,701.8 1996.8,701.8 1996.8,1020.8 766.2,1020.8' />
70
70
 
71
- <line style="stroke:black; stroke-width:3; " x1="2114.4" y1="921.8" x2="2921.4" y2="921.8"></line>
72
- <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round;'
73
- points='2097.6,756.8 2938.2,756.8 2938.2,1075.8 2097.6,1075.8' />
71
+ <line style="stroke:black; stroke-linecap:round; stroke-width:3; " x1="2114.4" y1="866.8" x2="2921.4" y2="866.8"></line>
72
+ <polygon style='stroke:black; stroke-width:3; fill:none; stroke-linejoin:round; stroke-linecap:round;'
73
+ points='2097.6,701.8 2938.2,701.8 2938.2,1020.8 2097.6,1020.8' />
74
74
 
75
- <line x1='341.1' y1='1502.6' x2='341.1' y2='532.4' style='fill: none; stroke: black; stroke-width:3; stroke-linecap:round;' />
76
- <line x1='341.1' y1='1502.6' x2='1381.5' y2='1086.8' style='fill: none; stroke: black; stroke-width:3; stroke-linecap:round;' /></svg>
75
+ <line x1='341.1' y1='1359.6' x2='341.1' y2='521.4' style='fill: none; stroke: black; stroke-width:3; stroke-linecap:round;' />
76
+ <line x1='341.1' y1='1359.6' x2='1381.5' y2='1031.8' style='fill: none; stroke: black; stroke-width:3; stroke-linecap:round;' /></svg>
@@ -1,6 +1,6 @@
1
1
  <?xml version="1.0" standalone="no"?>
2
2
  <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
3
- <svg width="1265.2" height="841.1999999999999" viewBox="-20, -20, 1285.2, 861.1999999999999" version="1.1" xmlns="http://www.w3.org/2000/svg">
3
+ <svg width="1265.2" height="709.2" viewBox="-20, -20, 1305.2, 749.2" version="1.1" xmlns="http://www.w3.org/2000/svg">
4
4
  <defs>
5
5
  <marker id="arrow" markerUnits="userSpaceOnUse" viewBox="0 0 10 10" refX="10" refY="5" markerWidth="28.8" markerHeight="28.8" orient="auto">
6
6
  <path d="M 0 0 L 10 5 L 0 10" fill="black"/>
@@ -24,19 +24,19 @@
24
24
  <line x1="0" y="0" x2="0" y2="10" stroke="black" stroke-width="4"></line>
25
25
  </pattern>
26
26
  </defs>
27
- <rect x="-20" y="-20" width="1285.2" height="861.1999999999999" stroke="none" fill="white" />"
27
+ <rect x="-20" y="-20" width="1305.2" height="749.2" stroke="none" fill="white" />"
28
28
  <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>
29
29
  </text>
30
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='194.64999999999986' y='428.4'><tspan x='194.64999999999986' y='428.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(mouse)(y)<tspan style='fill:none;'>■</tspan></tspan>
30
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='194.64999999999986' y='384.4'><tspan x='194.64999999999986' y='384.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(mouse)(y)<tspan style='fill:none;'>■</tspan></tspan>
31
31
  </text>
32
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='28.799999999999955' y='724.8'><tspan x='28.799999999999955' y='724.8' 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>
32
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='28.799999999999955' y='636.8'><tspan x='28.799999999999955' y='636.8' 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>
33
33
  </text>
34
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='687.0' y='724.8'><tspan x='687.0' y='724.8' 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>
34
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='687.0' y='636.8'><tspan x='687.0' y='636.8' 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>
35
35
  </text>
36
- <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='1068.2' y='428.4'><tspan x='1068.2' y='428.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>cat<tspan style='fill:none;'>■</tspan></tspan>
36
+ <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='1068.2' y='384.4'><tspan x='1068.2' y='384.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>cat<tspan style='fill:none;'>■</tspan></tspan>
37
37
  </text>
38
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='560.1499999999999' y1='318.4' x2='853.425' y2='187.0' />
39
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='1146.7' y1='318.4' x2='853.425' y2='187.0' />
40
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='300.29999999999995' y1='614.8' x2='560.1499999999999' y2='483.4' />
41
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='820.0' y1='614.8' x2='560.1499999999999' y2='483.4' />
38
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='560.1499999999999' y1='274.4' x2='853.425' y2='187.0' />
39
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='1146.7' y1='274.4' x2='853.425' y2='187.0' />
40
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='300.29999999999995' y1='526.8' x2='560.1499999999999' y2='439.4' />
41
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='820.0' y1='526.8' x2='560.1499999999999' y2='439.4' />
42
42
  </svg>
@@ -1,6 +1,6 @@
1
1
  <?xml version="1.0" standalone="no"?>
2
2
  <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
3
- <svg width="846.3999999999999" height="1560.2" viewBox="-20, -20, 866.3999999999999, 1580.2" version="1.1" xmlns="http://www.w3.org/2000/svg">
3
+ <svg width="846.3999999999999" height="1439.1999999999998" viewBox="-20, -20, 886.3999999999999, 1479.1999999999998" version="1.1" xmlns="http://www.w3.org/2000/svg">
4
4
  <defs>
5
5
  <marker id="arrow" markerUnits="userSpaceOnUse" viewBox="0 0 10 10" refX="10" refY="5" markerWidth="28.8" markerHeight="28.8" orient="auto">
6
6
  <path d="M 0 0 L 10 5 L 0 10" fill="#CC79A7"/>
@@ -24,63 +24,63 @@
24
24
  <line x1="0" y="0" x2="0" y2="10" stroke="#009E73" stroke-width="4"></line>
25
25
  </pattern>
26
26
  </defs>
27
- <rect x="-20" y="-20" width="866.3999999999999" height="1580.2" stroke="none" fill="white" />"
27
+ <rect x="-20" y="-20" width="886.3999999999999" height="1479.1999999999998" stroke="none" fill="white" />"
28
28
  <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='363.59999999999997' y='132.0'><tspan x='363.59999999999997' y='132.0' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">ABC</tspan>
29
29
  <tspan x='363.59999999999997' y='308.0' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">abc</tspan>
30
30
  </text>
31
- <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='28.80000000000001' y='675.4'><tspan x='28.80000000000001' y='675.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">DEF</tspan>
31
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='28.80000000000001' y='642.4'><tspan x='28.80000000000001' y='642.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">DEF</tspan>
32
32
  </text>
33
- <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='252.0' y='675.4'><tspan x='252.0' y='675.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">GHI</tspan>
34
- <tspan x='252.0' y='851.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">ghi</tspan>
33
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='252.0' y='642.4'><tspan x='252.0' y='642.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">GHI</tspan>
34
+ <tspan x='252.0' y='818.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">ghi</tspan>
35
35
  </text>
36
- <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='475.19999999999993' y='675.4'><tspan x='475.19999999999993' y='675.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">JKL</tspan>
36
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='475.19999999999993' y='642.4'><tspan x='475.19999999999993' y='642.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">JKL</tspan>
37
37
  </text>
38
- <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='475.19999999999993' y='1053.8'><tspan x='475.19999999999993' y='1053.8' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">MNO</tspan>
38
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='475.19999999999993' y='976.8'><tspan x='475.19999999999993' y='976.8' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">MNO</tspan>
39
39
  </text>
40
- <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='475.19999999999993' y='1256.2'><tspan x='475.19999999999993' y='1256.2' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">XYZ</tspan>
40
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='475.19999999999993' y='1135.1999999999998'><tspan x='475.19999999999993' y='1135.1999999999998' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">XYZ</tspan>
41
41
  </text>
42
- <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='698.3999999999999' y='675.4'><tspan x='698.3999999999999' y='675.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">PQR</tspan>
42
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='698.3999999999999' y='642.4'><tspan x='698.3999999999999' y='642.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">PQR</tspan>
43
43
  </text>
44
- <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round;'
45
- points='82.80000000000001 565.4 82.80000000000001 464.2 417.59999999999997 464.2 417.59999999999997 363.0' />
46
- <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round;'
47
- points='306.0 565.4 306.0 464.2 417.59999999999997 464.2 417.59999999999997 363.0' />
48
- <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round;'
49
- points='529.1999999999999 565.4 529.1999999999999 464.2 417.59999999999997 464.2 417.59999999999997 363.0' />
50
- <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round;'
51
- points='752.3999999999999 565.4 752.3999999999999 464.2 417.59999999999997 464.2 417.59999999999997 363.0' />
52
- <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round;'
53
- points='529.1999999999999 943.8 529.1999999999999 837.0999999999999 529.1999999999999 837.0999999999999 529.1999999999999 730.4' />
54
- <line style="stroke:#0072B2; stroke-width:7; " x1="363.59999999999997" y1="198.0" x2="471.59999999999997" y2="198.0"></line>
55
- <polygon style='stroke:#0072B2; stroke-width:7; fill:none; stroke-linejoin:round;'
44
+ <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
45
+ points='82.80000000000001 532.4 82.80000000000001 447.7 417.59999999999997 447.7 417.59999999999997 363.0' />
46
+ <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
47
+ points='306.0 532.4 306.0 447.7 417.59999999999997 447.7 417.59999999999997 363.0' />
48
+ <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
49
+ points='529.1999999999999 532.4 529.1999999999999 447.7 417.59999999999997 447.7 417.59999999999997 363.0' />
50
+ <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
51
+ points='752.3999999999999 532.4 752.3999999999999 447.7 417.59999999999997 447.7 417.59999999999997 363.0' />
52
+ <polyline style='stroke:black; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
53
+ points='529.1999999999999 866.8 529.1999999999999 782.0999999999999 529.1999999999999 782.0999999999999 529.1999999999999 697.4' />
54
+ <line style="stroke:#0072B2; stroke-linecap:round; stroke-width:7; " x1="363.59999999999997" y1="198.0" x2="471.59999999999997" y2="198.0"></line>
55
+ <polygon style='stroke:#0072B2; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
56
56
  points='349.2,33.0 486.0,33.0 486.0,352.0 349.2,352.0' />
57
57
 
58
- <line style="stroke:#009E73; stroke-width:7; " x1="252.0" y1="741.4" x2="360.0" y2="741.4"></line>
59
- <polygon style='stroke:#009E73; stroke-width:7; fill:none; stroke-linejoin:round;'
60
- points='237.6,576.4 374.4,576.4 374.4,895.4 237.6,895.4' />
58
+ <line style="stroke:#009E73; stroke-linecap:round; stroke-width:7; " x1="252.0" y1="708.4" x2="360.0" y2="708.4"></line>
59
+ <polygon style='stroke:#009E73; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
60
+ points='237.6,543.4 374.4,543.4 374.4,862.4 237.6,862.4' />
61
61
 
62
- <polygon style='stroke:#0072B2; stroke-width:7; fill:none; stroke-linejoin:round;'
63
- points='460.79999999999995,576.4 597.5999999999999,576.4 597.5999999999999,719.4 460.79999999999995,719.4' />
62
+ <polygon style='stroke:#0072B2; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
63
+ points='460.79999999999995,543.4 597.5999999999999,543.4 597.5999999999999,686.4 460.79999999999995,686.4' />
64
64
 
65
- <polygon style='stroke:#0072B2; stroke-width:7; fill:none; stroke-linejoin:round;'
66
- points='460.79999999999995,954.8 597.5999999999999,954.8 597.5999999999999,1097.8 460.79999999999995,1097.8' />
65
+ <polygon style='stroke:#0072B2; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
66
+ points='460.79999999999995,877.8 597.5999999999999,877.8 597.5999999999999,1020.8 460.79999999999995,1020.8' />
67
67
 
68
- <polygon style='stroke:#009E73; stroke-width:7; fill:none; stroke-linejoin:round;'
69
- points='460.79999999999995,1157.2 597.5999999999999,1157.2 597.5999999999999,1300.2 460.79999999999995,1300.2' />
68
+ <polygon style='stroke:#009E73; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
69
+ points='460.79999999999995,1036.1999999999998 597.5999999999999,1036.1999999999998 597.5999999999999,1179.1999999999998 460.79999999999995,1179.1999999999998' />
70
70
 
71
- <polygon style='stroke:#009E73; stroke-width:7; fill:none; stroke-linejoin:round;'
72
- points='683.9999999999999,576.4 820.8,576.4 820.8,719.4 683.9999999999999,719.4' />
71
+ <polygon style='stroke:#009E73; stroke-width:7; fill:none; stroke-linejoin:round; stroke-linecap:round;'
72
+ points='683.9999999999999,543.4 820.8,543.4 820.8,686.4 683.9999999999999,686.4' />
73
73
 
74
- <line x1='82.80000000000001' y1='730.4' x2='82.80000000000001' y2='1388.2' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' />
75
- <line x1='82.80000000000001' y1='730.4' x2='82.80000000000001' y2='1388.2' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' />
76
- <line x1='82.80000000000001' y1='1388.2' x2='306.0' y2='1388.2' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' />
77
- <line x1='306.0' y1='1388.2' x2='306.0' y2='906.4' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-end='url(#arrow)' />
78
- <line x1='270.0' y1='906.4' x2='270.0' y2='1520.2' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' stroke-dasharray='8 8' />
79
- <line x1='270.0' y1='1520.2' x2='529.1999999999999' y2='1520.2' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' stroke-dasharray='8 8' />
80
- <line x1='529.1999999999999' y1='1520.2' x2='529.1999999999999' y2='1311.2' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' stroke-dasharray='8 8' />
81
- <line x1='82.80000000000001' y1='565.4' x2='417.59999999999997' y2='363.0' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' />
82
- <path d='M306.0,565.4 L361.79999999999995,464.2 L417.59999999999997, 363.0' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowBothways)' />
83
- <path d='M165.60000000000002,647.9 L194.39999999999998,647.9 L223.19999999999996, 647.9' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowForward)' />
84
- <path d='M529.1999999999999,1146.2 L417.59999999999997,1026.3 L306.0, 906.4' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowBothways)' />
85
- <path d='M611.9999999999999,647.9 L640.8,647.9 L669.5999999999999, 647.9' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowBothways)' />
86
- <path d='M529.1999999999999,943.8 L529.1999999999999,837.0999999999999 L529.1999999999999, 730.4' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowBothways)' /></svg>
74
+ <line x1='82.80000000000001' y1='697.4' x2='82.80000000000001' y2='1267.1999999999998' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' />
75
+ <line x1='82.80000000000001' y1='697.4' x2='82.80000000000001' y2='1267.1999999999998' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' />
76
+ <line x1='82.80000000000001' y1='1267.1999999999998' x2='306.0' y2='1267.1999999999998' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' />
77
+ <line x1='306.0' y1='1267.1999999999998' x2='306.0' y2='873.4' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-end='url(#arrow)' />
78
+ <line x1='270.0' y1='873.4' x2='270.0' y2='1399.1999999999998' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' stroke-dasharray='8 8' />
79
+ <line x1='270.0' y1='1399.1999999999998' x2='529.1999999999999' y2='1399.1999999999998' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' stroke-dasharray='8 8' />
80
+ <line x1='529.1999999999999' y1='1399.1999999999998' x2='529.1999999999999' y2='1190.1999999999998' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' stroke-dasharray='8 8' />
81
+ <line x1='82.80000000000001' y1='532.4' x2='417.59999999999997' y2='363.0' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' />
82
+ <path d='M306.0,532.4 L361.79999999999995,447.7 L417.59999999999997, 363.0' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowBothways)' />
83
+ <path d='M165.60000000000002,614.9 L194.39999999999998,614.9 L223.19999999999996, 614.9' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowForward)' />
84
+ <path d='M529.1999999999999,1025.1999999999998 L417.59999999999997,949.3 L306.0, 873.4' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowBothways)' />
85
+ <path d='M611.9999999999999,614.9 L640.8,614.9 L669.5999999999999, 614.9' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowBothways)' />
86
+ <path d='M529.1999999999999,866.8 L529.1999999999999,782.0999999999999 L529.1999999999999, 697.4' style='fill: none; stroke: #CC79A7; stroke-width:7; stroke-linecap:round;' marker-mid='url(#arrowBothways)' /></svg>
@@ -1,6 +1,6 @@
1
1
  <?xml version="1.0" standalone="no"?>
2
2
  <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
3
- <svg width="1855.7999999999997" height="1536.0" viewBox="-20, -20, 1875.7999999999997, 1556.0" version="1.1" xmlns="http://www.w3.org/2000/svg">
3
+ <svg width="1855.7999999999997" height="1272.0" viewBox="-20, -20, 1895.7999999999997, 1312.0" version="1.1" xmlns="http://www.w3.org/2000/svg">
4
4
  <defs>
5
5
  <marker id="arrow" markerUnits="userSpaceOnUse" viewBox="0 0 10 10" refX="10" refY="5" markerWidth="33.6" markerHeight="33.6" orient="auto">
6
6
  <path d="M 0 0 L 10 5 L 0 10" fill="#CC79A7"/>
@@ -24,58 +24,58 @@
24
24
  <line x1="0" y="0" x2="0" y2="10" stroke="#009E73" stroke-width="4"></line>
25
25
  </pattern>
26
26
  </defs>
27
- <rect x="-20" y="-20" width="1875.7999999999997" height="1556.0" stroke="none" fill="white" />"
27
+ <rect x="-20" y="-20" width="1895.7999999999997" height="1312.0" stroke="none" fill="white" />"
28
28
  <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='686.6999999999999' y='132.0'><tspan x='686.6999999999999' y='132.0' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">S</tspan>
29
29
  </text>
30
- <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='214.10000000000002' y='422.4'><tspan x='224.60000000000002' y='422.4' style="" text-decoration="overline underline" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">NP</tspan>
30
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='214.10000000000002' y='378.4'><tspan x='224.60000000000002' y='378.4' style="" text-decoration="overline underline" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">NP</tspan>
31
31
  </text>
32
- <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='33.60000000000002' y='712.8'><tspan x='56.10000000000002' y='712.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">R</tspan>
33
- <tspan x='121.60000000000002' y='712.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif"><tspan style='fill:none;'>■</tspan>SyntaxTree</tspan>
32
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='33.60000000000002' y='624.8'><tspan x='56.10000000000002' y='624.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">R</tspan>
33
+ <tspan x='121.60000000000002' y='624.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif"><tspan style='fill:none;'>■</tspan>SyntaxTree</tspan>
34
34
  </text>
35
- <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='1098.8' y='422.4'><tspan x='1098.8' y='422.4' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">VP</tspan>
35
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='1098.8' y='378.4'><tspan x='1098.8' y='378.4' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">VP</tspan>
36
36
  </text>
37
- <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='763.5' y='712.8'><tspan x='763.5' y='712.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">V</tspan>
37
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='763.5' y='624.8'><tspan x='763.5' y='624.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">V</tspan>
38
38
  </text>
39
- <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='638.0' y='1003.1999999999998'><tspan x='638.0' y='1003.1999999999998' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">generates</tspan>
39
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='638.0' y='871.2'><tspan x='638.0' y='871.2' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">generates</tspan>
40
40
  </text>
41
- <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='1450.1' y='712.8'><tspan x='1450.1' y='712.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">NP</tspan>
41
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='1450.1' y='624.8'><tspan x='1450.1' y='624.8' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">NP</tspan>
42
42
  </text>
43
- <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='1221.9' y='1003.1999999999998'><tspan x='1221.9' y='1003.1999999999998' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Adj</tspan>
43
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='1221.9' y='871.2'><tspan x='1221.9' y='871.2' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">Adj</tspan>
44
44
  </text>
45
- <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='1067.3999999999999' y='1293.6'><tspan x='1067.3999999999999' y='1293.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">+multilingual</tspan>
46
- <tspan x='1067.3999999999999' y='1381.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">+beautiful</tspan>
45
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='1067.3999999999999' y='1117.6'><tspan x='1067.3999999999999' y='1117.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">+multilingual</tspan>
46
+ <tspan x='1067.3999999999999' y='1205.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">+beautiful</tspan>
47
47
  </text>
48
- <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='1670.7999999999997' y='1003.1999999999998'><tspan x='1670.7999999999997' y='1003.1999999999998' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">NP</tspan>
48
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #0072B2; font-size: 64px;' x='1670.7999999999997' y='871.2'><tspan x='1670.7999999999997' y='871.2' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">NP</tspan>
49
49
  </text>
50
- <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='1613.7999999999997' y='1293.6'><tspan x='1613.7999999999997' y='1293.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">syntax</tspan>
51
- <tspan x='1639.7999999999997' y='1381.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">trees</tspan>
50
+ <text white-space='pre' alignment-baseline='text-top' style='fill: #009E73; font-size: 64px;' x='1613.7999999999997' y='1117.6'><tspan x='1613.7999999999997' y='1117.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">syntax</tspan>
51
+ <tspan x='1639.7999999999997' y='1205.6' style="" text-decoration="" font-family="'Noto Serif', 'Noto Serif JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', serif">trees</tspan>
52
52
  </text>
53
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='268.6' y1='312.4' x2='704.1999999999999' y2='187.0' />
54
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='1139.8' y1='312.4' x2='704.1999999999999' y2='187.0' />
55
- <polygon style='fill: none; stroke: black; stroke-width:3; stroke-linejoin:round;' points='33.60000000000002 602.8 503.6 602.8 268.6 477.4' />
56
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='785.5' y1='602.8' x2='1139.8' y2='477.4' />
57
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='1494.1' y1='602.8' x2='1139.8' y2='477.4' />
58
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='785.5' y1='893.1999999999999' x2='785.5' y2='767.8' />
59
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='1273.4' y1='893.1999999999999' x2='1494.1' y2='767.8' />
60
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='1714.7999999999997' y1='893.1999999999999' x2='1494.1' y2='767.8' />
61
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='1273.3999999999999' y1='1183.6' x2='1273.4' y2='1058.1999999999998' />
62
- <line style='stroke:black; stroke-width:3; stroke-linecap:round;' x1='1714.7999999999997' y1='1183.6' x2='1714.7999999999997' y2='1058.1999999999998' />
53
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='268.6' y1='268.4' x2='704.1999999999999' y2='187.0' />
54
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='1139.8' y1='268.4' x2='704.1999999999999' y2='187.0' />
55
+ <polygon style='fill: none; stroke: black; stroke-width:3; stroke-linejoin:round;stroke-linecap:round;' points='33.60000000000002 514.8 503.6 514.8 268.6 433.4' />
56
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='785.5' y1='514.8' x2='1139.8' y2='433.4' />
57
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='1494.1' y1='514.8' x2='1139.8' y2='433.4' />
58
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='785.5' y1='761.2' x2='785.5' y2='679.8' />
59
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='1273.4' y1='761.2' x2='1494.1' y2='679.8' />
60
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='1714.7999999999997' y1='761.2' x2='1494.1' y2='679.8' />
61
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='1273.3999999999999' y1='1007.6' x2='1273.4' y2='926.2' />
62
+ <line style='stroke:black; stroke-width:3; stroke-linejoin:round; stroke-linecap:round;' x1='1714.7999999999997' y1='1007.6' x2='1714.7999999999997' y2='926.2' />
63
63
  <rect style='stroke: #0072B2; stroke-width:3;'
64
- x='214.10000000000002' y='354.0' rx='44.0' ry='44.0'
64
+ x='214.10000000000002' y='310.0' rx='44.0' ry='44.0'
65
65
  width='109.0' height='88.0'
66
66
  fill='none' />
67
67
 
68
- <rect style='stroke: #009E73; stroke-width:3;'
69
- x='33.60000000000002' y='644.4'
68
+ <rect style='stroke: #009E73; stroke-linejoin:round; stroke-width:3;'
69
+ x='33.60000000000002' y='556.4'
70
70
  width='88.0' height='88.0'
71
71
  fill='none' />
72
72
 
73
- <polyline style='stroke:#009E73; stroke-width:3; fill:none; stroke-linejoin:round;'
74
- points='1067.3999999999999,1194.6 1050.6,1194.6 1050.6,1425.6 1067.3999999999999,1425.6' />
73
+ <polyline style='stroke:#009E73; stroke-width:3; fill:none; stroke-linejoin:round; stroke-linecap:round;'
74
+ points='1067.3999999999999,1018.6 1050.6,1018.6 1050.6,1249.6 1067.3999999999999,1249.6' />
75
75
 
76
- <polyline style='stroke:#009E73; stroke-width:3; fill:none; stroke-linejoin:round;'
77
- points='1479.3999999999999,1194.6 1496.1999999999998,1194.6 1496.1999999999998,1425.6 1479.3999999999999,1425.6' />
76
+ <polyline style='stroke:#009E73; stroke-width:3; fill:none; stroke-linejoin:round; stroke-linecap:round;'
77
+ points='1479.3999999999999,1018.6 1496.1999999999998,1018.6 1496.1999999999998,1249.6 1479.3999999999999,1249.6' />
78
78
 
79
- <line x1='785.5' y1='602.8' x2='704.1999999999999' y2='187.0' style='fill: none; stroke: #CC79A7; stroke-width:3; stroke-linecap:round;' />
80
- <path d='M356.70000000000005,394.9 L710.95,394.9 L1065.2, 394.9' style='fill: none; stroke: #CC79A7; stroke-width:3; stroke-linecap:round;' marker-mid='url(#arrowBackward)' />
81
- <path d='M1273.4,893.1999999999999 L1029.45,830.5 L785.5, 767.8' style='fill: none; stroke: #CC79A7; stroke-width:3; stroke-linecap:round;' marker-mid='url(#arrowForward)' /></svg>
79
+ <line x1='785.5' y1='514.8' x2='704.1999999999999' y2='187.0' style='fill: none; stroke: #CC79A7; stroke-width:3; stroke-linecap:round;' />
80
+ <path d='M356.70000000000005,350.9 L710.95,350.9 L1065.2, 350.9' style='fill: none; stroke: #CC79A7; stroke-width:3; stroke-linecap:round;' marker-mid='url(#arrowBackward)' />
81
+ <path d='M1273.4,761.2 L1029.45,720.5 L785.5, 679.8' style='fill: none; stroke: #CC79A7; stroke-width:3; stroke-linecap:round;' marker-mid='url(#arrowForward)' /></svg>