diff --git a/VERSION b/VERSION index 238d6e8..9084fa2 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -1.0.7 +1.1.0 diff --git a/lingua/output/beetle.trig b/lingua/output/beetle.trig index f1ddc5c..d07fdd4 100644 --- a/lingua/output/beetle.trig +++ b/lingua/output/beetle.trig @@ -1,3 +1,46 @@ @prefix : . +@prefix lingua: . :beetle :is :beautiful. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:gn_2. +_:gn_1 lingua:explanation _:node_12_1. +_:gn_1 lingua:explanation _:gn_3. +true lingua:explanation _:node_12_1. + +_:gn_6 { + :beetle :is :green. +} + +_:gn_7 { + :beetle :is :blue. +} + +_:node_12_1 { + :beetle :is :beautiful. +} + +_:gn_1 { + :beetle a :Car. +} + +_:gn_2 { + () lingua:nand _:gn_4. +} + +_:gn_3 { + () lingua:nand _:gn_5. +} + +_:gn_4 { + () lingua:nand _:gn_6. + () lingua:nand _:gn_7. +} + +_:gn_5 { + () lingua:nand _:node_12_1. +} diff --git a/lingua/output/beetle6.trig b/lingua/output/beetle6.trig index 41b4b61..774c4f3 100644 --- a/lingua/output/beetle6.trig +++ b/lingua/output/beetle6.trig @@ -1,3 +1,150 @@ @prefix : . +@prefix lingua: . :beetle :is :nice. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:gn_2. +_:gn_1 lingua:explanation _:gn_3. +_:gn_3 lingua:explanation _:gn_4. +_:gn_3 lingua:explanation _:gn_5. +_:gn_3 lingua:explanation _:gn_6. +_:gn_1 lingua:explanation _:gn_7. +_:gn_1 lingua:explanation _:gn_4. +_:gn_8 lingua:explanation _:gn_9. +_:gn_10 lingua:explanation _:node_18_1. +_:gn_11 lingua:explanation _:gn_9. +_:gn_12 lingua:explanation _:node_18_1. +_:gn_9 lingua:explanation _:gn_13. +_:gn_3 lingua:explanation _:gn_7. +_:gn_4 lingua:explanation _:gn_9. +_:gn_1 lingua:explanation _:gn_9. +_:gn_9 lingua:explanation _:node_18_1. +_:gn_3 lingua:explanation _:gn_9. +_:gn_4 lingua:explanation _:node_18_1. +true lingua:explanation _:gn_9. +true lingua:explanation _:node_18_1. +_:gn_4 lingua:explanation _:gn_14. +_:gn_1 lingua:explanation _:gn_14. +_:gn_9 lingua:explanation _:gn_15. +_:gn_3 lingua:explanation _:gn_14. +_:gn_4 lingua:explanation _:gn_15. +_:gn_7 lingua:explanation _:node_18_1. +_:gn_3 lingua:explanation _:node_18_1. +_:gn_7 lingua:explanation _:gn_15. +_:gn_3 lingua:explanation _:gn_15. + +_:gn_9 { + :beetle :is :green. +} + +_:node_18_1 { + :beetle :is :nice. +} + +_:gn_21 { + :beetle :is :pretty. +} + +_:gn_1 { + :beetle a :Car. +} + +_:gn_2 { + () lingua:nand _:gn_16. +} + +_:gn_3 { + () lingua:nand _:gn_17. +} + +_:gn_4 { + () lingua:nand _:gn_18. +} + +_:gn_5 { + () lingua:nand _:gn_19. +} + +_:gn_6 { + () lingua:nand _:gn_20. +} + +_:gn_7 { + () lingua:nand _:gn_21. +} + +_:gn_8 { + :beetle a :Car. + () lingua:nand _:gn_18. +} + +_:gn_10 { + :beetle :is :green. + () lingua:nand _:gn_21. +} + +_:gn_11 { + () lingua:nand _:gn_17. + :beetle a :Car. +} + +_:gn_12 { + () lingua:nand _:gn_17. + :beetle :is :green. +} + +_:gn_13 { + () lingua:nand _:gn_22. +} + +_:gn_14 { + () lingua:nand _:gn_23. +} + +_:gn_15 { + () lingua:nand _:gn_24. +} + +_:gn_16 { + () lingua:nand _:gn_9. + () lingua:nand _:gn_18. +} + +_:gn_17 { + :beetle :is :beautiful. +} + +_:gn_18 { + :beetle :is :blue. +} + +_:gn_19 { + :beetle a :Car. + () lingua:nand _:gn_9. +} + +_:gn_20 { + :beetle :is :green. + () lingua:nand _:node_18_1. +} + +_:gn_21 { + :beetle :is :pretty. +} + +_:gn_22 { + () lingua:nand _:node_18_1. + () lingua:nand _:gn_21. +} + +_:gn_23 { + () lingua:nand _:gn_9. +} + +_:gn_24 { + () lingua:nand _:node_18_1. +} diff --git a/lingua/output/blogic.trig b/lingua/output/blogic.trig index 9e72939..b6d745d 100644 --- a/lingua/output/blogic.trig +++ b/lingua/output/blogic.trig @@ -1,3 +1,92 @@ @prefix : . +@prefix lingua: . +@prefix rdfs: . :Socrates a :Mortal. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:gn_2. +_:gn_3 lingua:explanation _:node_9_1. +_:gn_4 lingua:explanation _:gn_5. +_:gn_6 lingua:explanation _:gn_7. +_:gn_8 lingua:explanation _:gn_2. +_:gn_2 lingua:explanation _:node_9_1. +_:gn_8 lingua:explanation _:gn_9. +_:gn_2 lingua:explanation _:gn_10. +true lingua:explanation _:gn_2. +true lingua:explanation _:node_9_1. + +_:gn_15 { + _:sk_11 a :Human. +} + +_:gn_16 { + _:sk_12 a :Mortal. +} + +_:gn_2 { + :Socrates a :Human. +} + +_:node_9_1 { + :Socrates a :Mortal. +} + +_:gn_1 { + :Man rdfs:subClassOf :Human. + :Socrates a :Man. +} + +_:gn_3 { + :Human rdfs:subClassOf :Mortal. + :Socrates a :Human. +} + +_:gn_4 { + :Man rdfs:subClassOf :Human. +} + +_:gn_5 { + (_:sk_11) lingua:nand _:gn_11. +} + +_:gn_6 { + :Human rdfs:subClassOf :Mortal. +} + +_:gn_7 { + (_:sk_12) lingua:nand _:gn_12. +} + +_:gn_8 { + :Socrates a :Man. +} + +_:gn_9 { + () lingua:nand _:gn_13. +} + +_:gn_10 { + () lingua:nand _:gn_14. +} + +_:gn_11 { + _:sk_11 a :Man. + () lingua:nand _:gn_15. +} + +_:gn_12 { + _:sk_12 a :Human. + () lingua:nand _:gn_16. +} + +_:gn_13 { + () lingua:nand _:gn_2. +} + +_:gn_14 { + () lingua:nand _:node_9_1. +} diff --git a/lingua/output/complement.trig b/lingua/output/complement.trig index 6986813..64c2c27 100644 --- a/lingua/output/complement.trig +++ b/lingua/output/complement.trig @@ -3,6 +3,7 @@ @prefix log: . _:gn_1 lingua:implication false. + _:gn_1 { var:P log:complement var:C. var:S var:P var:O. diff --git a/lingua/output/derived.trig b/lingua/output/derived.trig index ef0a4f3..21c921b 100644 --- a/lingua/output/derived.trig +++ b/lingua/output/derived.trig @@ -1,3 +1,45 @@ @prefix : . +@prefix lingua: . +@prefix var: . :test :is true. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:gn_2. +_:gn_3 lingua:explanation _:gn_4. +_:gn_5 lingua:explanation _:node_4_1. + +_:gn_1 { + :Alice a :Cat. +} + +_:gn_2 { + _:gn_6 lingua:implication _:node_4_1. +} + +_:gn_3 { + :Minka a :Cat. +} + +_:gn_4 { + _:gn_7 lingua:implication _:node_4_1. +} + +_:gn_5 { + :Charly a :Dog. +} + +_:node_4_1 { + :test :is true. +} + +_:gn_6 { + var:x_2 a :Dog. +} + +_:gn_7 { + var:x_3 a :Dog. +} diff --git a/lingua/output/edt.trig b/lingua/output/edt.trig index 8c90126..788a38a 100644 --- a/lingua/output/edt.trig +++ b/lingua/output/edt.trig @@ -1,3 +1,16 @@ @prefix edt: . +@prefix lingua: . +@prefix log: . edt:i100000 a edt:N10000. + +# ------------------ +# lingua explanation +# ------------------ + +_:node_1_1 lingua:explanation true. + +_:node_1_1 { + log:imports . + log:imports . +} diff --git a/lingua/output/graph.trig b/lingua/output/graph.trig index 81c5485..b38fd2c 100644 --- a/lingua/output/graph.trig +++ b/lingua/output/graph.trig @@ -1,6 +1,254 @@ @prefix : . +@prefix lingua: . :angers :path :nantes. :lemans :path :nantes. :chartres :path :nantes. :paris :path :nantes. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:gn_2. +_:gn_3 lingua:explanation _:gn_4. +_:gn_5 lingua:explanation _:gn_6. +_:gn_7 lingua:explanation _:gn_8. +_:gn_9 lingua:explanation _:gn_10. +_:gn_11 lingua:explanation _:gn_12. +_:gn_13 lingua:explanation _:gn_14. +_:gn_15 lingua:explanation _:gn_16. +_:gn_17 lingua:explanation _:gn_18. +_:gn_19 lingua:explanation _:gn_20. +_:gn_21 lingua:explanation _:gn_22. +_:gn_23 lingua:explanation _:gn_24. +_:gn_25 lingua:explanation _:gn_26. +_:gn_27 lingua:explanation _:gn_28. +_:gn_29 lingua:explanation _:gn_30. +_:gn_31 lingua:explanation _:gn_32. +_:gn_33 lingua:explanation _:gn_34. +_:gn_35 lingua:explanation _:gn_36. +_:gn_37 lingua:explanation _:gn_38. +_:gn_39 lingua:explanation _:gn_36. +_:gn_40 lingua:explanation _:gn_41. +_:gn_42 lingua:explanation _:gn_36. +_:gn_43 lingua:explanation _:gn_38. +_:gn_44 lingua:explanation _:gn_36. +_:gn_45 lingua:explanation _:gn_46. +_:gn_47 lingua:explanation _:gn_41. +_:gn_48 lingua:explanation _:gn_46. +_:gn_49 lingua:explanation _:gn_46. + +_:gn_1 { + :paris :oneway :orleans. +} + +_:gn_2 { + :paris :path :orleans. +} + +_:gn_3 { + :paris :oneway :chartres. +} + +_:gn_4 { + :paris :path :chartres. +} + +_:gn_5 { + :paris :oneway :amiens. +} + +_:gn_6 { + :paris :path :amiens. +} + +_:gn_7 { + :orleans :oneway :blois. +} + +_:gn_8 { + :orleans :path :blois. +} + +_:gn_9 { + :orleans :oneway :bourges. +} + +_:gn_10 { + :orleans :path :bourges. +} + +_:gn_11 { + :blois :oneway :tours. +} + +_:gn_12 { + :blois :path :tours. +} + +_:gn_13 { + :chartres :oneway :lemans. +} + +_:gn_14 { + :chartres :path :lemans. +} + +_:gn_15 { + :lemans :oneway :angers. +} + +_:gn_16 { + :lemans :path :angers. +} + +_:gn_17 { + :lemans :oneway :tours. +} + +_:gn_18 { + :lemans :path :tours. +} + +_:gn_19 { + :angers :oneway :nantes. +} + +_:gn_20 { + :angers :path :nantes. +} + +_:gn_21 { + :paris :path :orleans. + :orleans :path :blois. +} + +_:gn_22 { + :paris :path :blois. +} + +_:gn_23 { + :paris :path :orleans. + :orleans :path :bourges. +} + +_:gn_24 { + :paris :path :bourges. +} + +_:gn_25 { + :paris :path :chartres. + :chartres :path :lemans. +} + +_:gn_26 { + :paris :path :lemans. +} + +_:gn_27 { + :orleans :path :blois. + :blois :path :tours. +} + +_:gn_28 { + :orleans :path :tours. +} + +_:gn_29 { + :chartres :path :lemans. + :lemans :path :angers. +} + +_:gn_30 { + :chartres :path :angers. +} + +_:gn_31 { + :chartres :path :lemans. + :lemans :path :tours. +} + +_:gn_32 { + :chartres :path :tours. +} + +_:gn_33 { + :lemans :path :angers. + :angers :path :nantes. +} + +_:gn_34 { + :lemans :path :nantes. +} + +_:gn_35 { + :paris :path :orleans. + :orleans :path :tours. +} + +_:gn_36 { + :paris :path :tours. +} + +_:gn_37 { + :paris :path :chartres. + :chartres :path :angers. +} + +_:gn_38 { + :paris :path :angers. +} + +_:gn_39 { + :paris :path :chartres. + :chartres :path :tours. +} + +_:gn_40 { + :chartres :path :lemans. + :lemans :path :nantes. +} + +_:gn_41 { + :chartres :path :nantes. +} + +_:gn_42 { + :paris :path :blois. + :blois :path :tours. +} + +_:gn_43 { + :paris :path :lemans. + :lemans :path :angers. +} + +_:gn_44 { + :paris :path :lemans. + :lemans :path :tours. +} + +_:gn_45 { + :paris :path :lemans. + :lemans :path :nantes. +} + +_:gn_46 { + :paris :path :nantes. +} + +_:gn_47 { + :chartres :path :angers. + :angers :path :nantes. +} + +_:gn_48 { + :paris :path :chartres. + :chartres :path :nantes. +} + +_:gn_49 { + :paris :path :angers. + :angers :path :nantes. +} diff --git a/lingua/output/monadic.trig b/lingua/output/monadic.trig index 939c404..135fdf5 100644 --- a/lingua/output/monadic.trig +++ b/lingua/output/monadic.trig @@ -1,4 +1,6 @@ @prefix bmt: . +@prefix lingua: . +@prefix log: . bmt:i12 bmt:cycle (bmt:i45 bmt:i45 bmt:i45 bmt:i45 bmt:i45 bmt:i45 bmt:i45 bmt:i45 bmt:i45 bmt:i45). bmt:i12 bmt:cycle (bmt:i66 bmt:i66 bmt:i66 bmt:i66 bmt:i66 bmt:i66 bmt:i66 bmt:i66 bmt:i66 bmt:i66). @@ -1518,3 +1520,22 @@ bmt:i27 bmt:cycle (bmt:i21 bmt:i72 bmt:i21 bmt:i72 bmt:i21 bmt:i72 bmt:i21 bmt:i bmt:i27 bmt:cycle (bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39). bmt:i27 bmt:cycle (bmt:i72 bmt:i21 bmt:i72 bmt:i21 bmt:i72 bmt:i21 bmt:i72 bmt:i21 bmt:i72 bmt:i21). bmt:i27 bmt:cycle (bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84). + +# ------------------ +# lingua explanation +# ------------------ + +_:node_1_1 lingua:explanation true. + +_:node_1_1 { + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . +} diff --git a/lingua/output/patch.trig b/lingua/output/patch.trig index 5ae8d18..bdff9a7 100644 --- a/lingua/output/patch.trig +++ b/lingua/output/patch.trig @@ -1,6 +1,27 @@ @prefix : . +@prefix lingua: . +@prefix log: . :pers001 :familyName "Garcia". :pers001 :givenName "Alex". :pers002 :familyName "Cardinale". :pers002 :givenName "Claudia". + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation true. + +_:gn_1 { + :pers001 :familyName "Garcia". + _:gn_2 log:becomes _:gn_3. +} + +_:gn_2 { + :pers001 :givenName "Claudia". +} + +_:gn_3 { + :pers001 :givenName "Alex". +} diff --git a/lingua/output/restdesc.trig b/lingua/output/restdesc.trig index 17a3131..bad30bf 100644 --- a/lingua/output/restdesc.trig +++ b/lingua/output/restdesc.trig @@ -1,3 +1,3724 @@ @prefix : . +@prefix lingua: . +@prefix http: . :x :relGoal :y. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:gn_2. +_:gn_3 lingua:explanation _:gn_4. +_:gn_5 lingua:explanation _:gn_6. +_:gn_7 lingua:explanation _:gn_8. +_:gn_9 lingua:explanation _:gn_10. +_:gn_11 lingua:explanation _:gn_12. +_:gn_13 lingua:explanation _:gn_14. +_:gn_15 lingua:explanation _:gn_16. +_:gn_17 lingua:explanation _:gn_18. +_:gn_19 lingua:explanation _:gn_20. +_:gn_21 lingua:explanation _:gn_22. +_:gn_23 lingua:explanation _:gn_24. +_:gn_25 lingua:explanation _:gn_26. +_:gn_27 lingua:explanation _:gn_28. +_:gn_29 lingua:explanation _:gn_30. +_:gn_31 lingua:explanation _:gn_32. +_:gn_33 lingua:explanation _:gn_34. +_:gn_35 lingua:explanation _:gn_36. +_:gn_37 lingua:explanation _:gn_38. +_:gn_39 lingua:explanation _:gn_40. +_:gn_41 lingua:explanation _:gn_42. +_:gn_43 lingua:explanation _:gn_44. +_:gn_45 lingua:explanation _:gn_46. +_:gn_47 lingua:explanation _:gn_48. +_:gn_49 lingua:explanation _:gn_50. +_:gn_51 lingua:explanation _:gn_52. +_:gn_53 lingua:explanation _:gn_54. +_:gn_55 lingua:explanation _:gn_56. +_:gn_57 lingua:explanation _:gn_58. +_:gn_59 lingua:explanation _:gn_60. +_:gn_61 lingua:explanation _:gn_62. +_:gn_63 lingua:explanation _:gn_64. +_:gn_65 lingua:explanation _:gn_66. +_:gn_67 lingua:explanation _:gn_68. +_:gn_69 lingua:explanation _:gn_70. +_:gn_71 lingua:explanation _:gn_72. +_:gn_73 lingua:explanation _:gn_74. +_:gn_75 lingua:explanation _:gn_76. +_:gn_77 lingua:explanation _:gn_78. +_:gn_79 lingua:explanation _:gn_80. +_:gn_81 lingua:explanation _:gn_82. +_:gn_83 lingua:explanation _:gn_84. +_:gn_85 lingua:explanation _:gn_86. +_:gn_87 lingua:explanation _:gn_88. +_:gn_89 lingua:explanation _:gn_90. +_:gn_91 lingua:explanation _:gn_92. +_:gn_93 lingua:explanation _:gn_94. +_:gn_95 lingua:explanation _:gn_96. +_:gn_97 lingua:explanation _:gn_98. +_:gn_99 lingua:explanation _:gn_100. +_:gn_101 lingua:explanation _:gn_102. +_:gn_103 lingua:explanation _:gn_104. +_:gn_105 lingua:explanation _:gn_106. +_:gn_107 lingua:explanation _:gn_108. +_:gn_109 lingua:explanation _:gn_110. +_:gn_111 lingua:explanation _:gn_112. +_:gn_113 lingua:explanation _:gn_114. +_:gn_115 lingua:explanation _:gn_116. +_:gn_117 lingua:explanation _:gn_118. +_:gn_119 lingua:explanation _:gn_120. +_:gn_121 lingua:explanation _:gn_122. +_:gn_123 lingua:explanation _:gn_124. +_:gn_125 lingua:explanation _:gn_126. +_:gn_127 lingua:explanation _:gn_128. +_:gn_129 lingua:explanation _:gn_130. +_:gn_131 lingua:explanation _:gn_132. +_:gn_133 lingua:explanation _:gn_134. +_:gn_135 lingua:explanation _:gn_136. +_:gn_137 lingua:explanation _:gn_138. +_:gn_139 lingua:explanation _:gn_140. +_:gn_141 lingua:explanation _:gn_142. +_:gn_143 lingua:explanation _:gn_144. +_:gn_145 lingua:explanation _:gn_146. +_:gn_147 lingua:explanation _:gn_148. +_:gn_149 lingua:explanation _:gn_150. +_:gn_151 lingua:explanation _:gn_152. +_:gn_153 lingua:explanation _:gn_154. +_:gn_155 lingua:explanation _:gn_156. +_:gn_157 lingua:explanation _:gn_158. +_:gn_159 lingua:explanation _:gn_160. +_:gn_161 lingua:explanation _:gn_162. +_:gn_163 lingua:explanation _:gn_164. +_:gn_165 lingua:explanation _:gn_166. +_:gn_167 lingua:explanation _:gn_168. +_:gn_169 lingua:explanation _:gn_170. +_:gn_171 lingua:explanation _:gn_172. +_:gn_173 lingua:explanation _:gn_174. +_:gn_175 lingua:explanation _:gn_176. +_:gn_177 lingua:explanation _:gn_178. +_:gn_179 lingua:explanation _:gn_180. +_:gn_181 lingua:explanation _:gn_182. +_:gn_183 lingua:explanation _:gn_184. +_:gn_185 lingua:explanation _:gn_186. +_:gn_187 lingua:explanation _:gn_188. +_:gn_189 lingua:explanation _:gn_190. +_:gn_191 lingua:explanation _:gn_192. +_:gn_193 lingua:explanation _:gn_194. +_:gn_195 lingua:explanation _:gn_196. +_:gn_197 lingua:explanation _:gn_198. +_:gn_199 lingua:explanation _:gn_200. +_:gn_201 lingua:explanation _:gn_202. +_:gn_203 lingua:explanation _:gn_204. +_:gn_205 lingua:explanation _:gn_206. +_:gn_207 lingua:explanation _:gn_208. +_:gn_209 lingua:explanation _:gn_210. +_:gn_211 lingua:explanation _:gn_212. +_:gn_213 lingua:explanation _:gn_214. +_:gn_215 lingua:explanation _:gn_216. +_:gn_217 lingua:explanation _:gn_218. +_:gn_219 lingua:explanation _:gn_220. +_:gn_221 lingua:explanation _:gn_222. +_:gn_223 lingua:explanation _:gn_224. +_:gn_225 lingua:explanation _:gn_226. +_:gn_227 lingua:explanation _:gn_228. +_:gn_229 lingua:explanation _:gn_230. +_:gn_231 lingua:explanation _:gn_232. +_:gn_233 lingua:explanation _:gn_234. +_:gn_235 lingua:explanation _:gn_236. +_:gn_237 lingua:explanation _:gn_238. +_:gn_239 lingua:explanation _:gn_240. +_:gn_241 lingua:explanation _:gn_242. +_:gn_243 lingua:explanation _:gn_244. +_:gn_245 lingua:explanation _:gn_246. +_:gn_247 lingua:explanation _:gn_248. +_:gn_249 lingua:explanation _:gn_250. +_:gn_251 lingua:explanation _:gn_252. +_:gn_253 lingua:explanation _:gn_254. +_:gn_255 lingua:explanation _:gn_256. +_:gn_257 lingua:explanation _:gn_258. +_:gn_259 lingua:explanation _:gn_260. +_:gn_261 lingua:explanation _:gn_262. +_:gn_263 lingua:explanation _:gn_264. +_:gn_265 lingua:explanation _:gn_266. +_:gn_267 lingua:explanation _:gn_268. +_:gn_269 lingua:explanation _:gn_270. +_:gn_271 lingua:explanation _:gn_272. +_:gn_273 lingua:explanation _:gn_274. +_:gn_275 lingua:explanation _:gn_276. +_:gn_277 lingua:explanation _:gn_278. +_:gn_279 lingua:explanation _:gn_280. +_:gn_281 lingua:explanation _:gn_282. +_:gn_283 lingua:explanation _:gn_284. +_:gn_285 lingua:explanation _:gn_286. +_:gn_287 lingua:explanation _:gn_288. +_:gn_289 lingua:explanation _:gn_290. +_:gn_291 lingua:explanation _:gn_292. +_:gn_293 lingua:explanation _:gn_294. +_:gn_295 lingua:explanation _:gn_296. +_:gn_297 lingua:explanation _:gn_298. +_:gn_299 lingua:explanation _:gn_300. +_:gn_301 lingua:explanation _:gn_302. +_:gn_303 lingua:explanation _:gn_304. +_:gn_305 lingua:explanation _:gn_306. +_:gn_307 lingua:explanation _:gn_308. +_:gn_309 lingua:explanation _:gn_310. +_:gn_311 lingua:explanation _:gn_312. +_:gn_313 lingua:explanation _:gn_314. +_:gn_315 lingua:explanation _:gn_316. +_:gn_317 lingua:explanation _:gn_318. +_:gn_319 lingua:explanation _:gn_320. +_:gn_321 lingua:explanation _:gn_322. +_:gn_323 lingua:explanation _:gn_324. +_:gn_325 lingua:explanation _:gn_326. +_:gn_327 lingua:explanation _:gn_328. +_:gn_329 lingua:explanation _:gn_330. +_:gn_331 lingua:explanation _:gn_332. +_:gn_333 lingua:explanation _:gn_334. +_:gn_335 lingua:explanation _:gn_336. +_:gn_337 lingua:explanation _:gn_338. +_:gn_339 lingua:explanation _:gn_340. +_:gn_341 lingua:explanation _:gn_342. +_:gn_343 lingua:explanation _:gn_344. +_:gn_345 lingua:explanation _:gn_346. +_:gn_347 lingua:explanation _:gn_348. +_:gn_349 lingua:explanation _:gn_350. +_:gn_351 lingua:explanation _:gn_352. +_:gn_353 lingua:explanation _:gn_354. +_:gn_355 lingua:explanation _:gn_356. +_:gn_357 lingua:explanation _:gn_358. +_:gn_359 lingua:explanation _:gn_360. +_:gn_361 lingua:explanation _:gn_362. +_:gn_363 lingua:explanation _:gn_364. +_:gn_365 lingua:explanation _:gn_366. +_:gn_367 lingua:explanation _:gn_368. +_:gn_369 lingua:explanation _:gn_370. +_:gn_371 lingua:explanation _:gn_372. +_:gn_373 lingua:explanation _:gn_374. +_:gn_375 lingua:explanation _:gn_376. +_:gn_377 lingua:explanation _:gn_378. +_:gn_379 lingua:explanation _:gn_380. +_:gn_381 lingua:explanation _:gn_382. +_:gn_383 lingua:explanation _:gn_384. +_:gn_385 lingua:explanation _:gn_386. +_:gn_387 lingua:explanation _:gn_388. +_:gn_389 lingua:explanation _:gn_390. +_:gn_391 lingua:explanation _:gn_392. +_:gn_393 lingua:explanation _:gn_394. +_:gn_395 lingua:explanation _:gn_396. +_:gn_397 lingua:explanation _:gn_398. +_:gn_399 lingua:explanation _:gn_400. +_:gn_401 lingua:explanation _:gn_402. +_:gn_403 lingua:explanation _:gn_404. +_:gn_405 lingua:explanation _:gn_406. +_:gn_407 lingua:explanation _:gn_408. +_:gn_409 lingua:explanation _:gn_410. +_:gn_411 lingua:explanation _:gn_412. +_:gn_413 lingua:explanation _:gn_414. +_:gn_415 lingua:explanation _:gn_416. +_:gn_417 lingua:explanation _:gn_418. +_:gn_419 lingua:explanation _:gn_420. +_:gn_421 lingua:explanation _:gn_422. +_:gn_423 lingua:explanation _:gn_424. +_:gn_425 lingua:explanation _:gn_426. +_:gn_427 lingua:explanation _:gn_428. +_:gn_429 lingua:explanation _:gn_430. +_:gn_431 lingua:explanation _:gn_432. +_:gn_433 lingua:explanation _:gn_434. + +_:gn_1 { + :x :rel1 :y. +} + +_:gn_2 { + _:sk_72 http:methodName "GET". + _:sk_72 http:requestURI :x. + _:sk_72 http:resp _:sk_73. + _:sk_73 http:body :y. + :x :rel2 :y. + _:sk_74 :rel2 _:sk_75. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_3 { + :x :rel2 :y. + :x :rel2 :y. + :x :rel2 :y. +} + +_:gn_4 { + _:sk_78 http:methodName "GET". + _:sk_78 http:requestURI :x. + _:sk_78 http:resp _:sk_79. + _:sk_79 http:body :y. + :x :rel3 :y. + :x :rel3 :y. + :x :rel3 :y. +} + +_:gn_5 { + :x :rel2 :y. + :x :rel2 :y. + _:sk_74 :rel2 _:sk_75. +} + +_:gn_6 { + _:sk_80 http:methodName "GET". + _:sk_80 http:requestURI :x. + _:sk_80 http:resp _:sk_81. + _:sk_81 http:body :y. + :x :rel3 :y. + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_7 { + :x :rel2 :y. + :x :rel2 :y. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_8 { + _:sk_82 http:methodName "GET". + _:sk_82 http:requestURI :x. + _:sk_82 http:resp _:sk_83. + _:sk_83 http:body :y. + :x :rel3 :y. + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_9 { + :x :rel2 :y. + _:sk_74 :rel2 _:sk_75. + :x :rel2 :y. +} + +_:gn_10 { + _:sk_84 http:methodName "GET". + _:sk_84 http:requestURI :x. + _:sk_84 http:resp _:sk_85. + _:sk_85 http:body :y. + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. +} + +_:gn_11 { + :x :rel2 :y. + _:sk_74 :rel2 _:sk_75. + _:sk_74 :rel2 _:sk_75. +} + +_:gn_12 { + _:sk_86 http:methodName "GET". + _:sk_86 http:requestURI :x. + _:sk_86 http:resp _:sk_87. + _:sk_87 http:body :y. + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_13 { + :x :rel2 :y. + _:sk_74 :rel2 _:sk_75. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_14 { + _:sk_88 http:methodName "GET". + _:sk_88 http:requestURI :x. + _:sk_88 http:resp _:sk_89. + _:sk_89 http:body :y. + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_15 { + :x :rel2 :y. + _:sk_76 :rel2 _:sk_77. + :x :rel2 :y. +} + +_:gn_16 { + _:sk_90 http:methodName "GET". + _:sk_90 http:requestURI :x. + _:sk_90 http:resp _:sk_91. + _:sk_91 http:body :y. + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. +} + +_:gn_17 { + :x :rel2 :y. + _:sk_76 :rel2 _:sk_77. + _:sk_74 :rel2 _:sk_75. +} + +_:gn_18 { + _:sk_92 http:methodName "GET". + _:sk_92 http:requestURI :x. + _:sk_92 http:resp _:sk_93. + _:sk_93 http:body :y. + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_19 { + :x :rel2 :y. + _:sk_76 :rel2 _:sk_77. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_20 { + _:sk_94 http:methodName "GET". + _:sk_94 http:requestURI :x. + _:sk_94 http:resp _:sk_95. + _:sk_95 http:body :y. + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_21 { + _:sk_74 :rel2 _:sk_75. + :x :rel2 :y. + :x :rel2 :y. +} + +_:gn_22 { + _:sk_96 http:methodName "GET". + _:sk_96 http:requestURI _:sk_74. + _:sk_96 http:resp _:sk_97. + _:sk_97 http:body _:sk_75. + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. + :x :rel3 :y. +} + +_:gn_23 { + _:sk_74 :rel2 _:sk_75. + :x :rel2 :y. + _:sk_74 :rel2 _:sk_75. +} + +_:gn_24 { + _:sk_98 http:methodName "GET". + _:sk_98 http:requestURI _:sk_74. + _:sk_98 http:resp _:sk_99. + _:sk_99 http:body _:sk_75. + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_25 { + _:sk_74 :rel2 _:sk_75. + :x :rel2 :y. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_26 { + _:sk_100 http:methodName "GET". + _:sk_100 http:requestURI _:sk_74. + _:sk_100 http:resp _:sk_101. + _:sk_101 http:body _:sk_75. + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_27 { + _:sk_74 :rel2 _:sk_75. + _:sk_74 :rel2 _:sk_75. + :x :rel2 :y. +} + +_:gn_28 { + _:sk_102 http:methodName "GET". + _:sk_102 http:requestURI _:sk_74. + _:sk_102 http:resp _:sk_103. + _:sk_103 http:body _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. +} + +_:gn_29 { + _:sk_74 :rel2 _:sk_75. + _:sk_74 :rel2 _:sk_75. + _:sk_74 :rel2 _:sk_75. +} + +_:gn_30 { + _:sk_104 http:methodName "GET". + _:sk_104 http:requestURI _:sk_74. + _:sk_104 http:resp _:sk_105. + _:sk_105 http:body _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_31 { + _:sk_74 :rel2 _:sk_75. + _:sk_74 :rel2 _:sk_75. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_32 { + _:sk_106 http:methodName "GET". + _:sk_106 http:requestURI _:sk_74. + _:sk_106 http:resp _:sk_107. + _:sk_107 http:body _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_33 { + _:sk_74 :rel2 _:sk_75. + _:sk_76 :rel2 _:sk_77. + :x :rel2 :y. +} + +_:gn_34 { + _:sk_108 http:methodName "GET". + _:sk_108 http:requestURI _:sk_74. + _:sk_108 http:resp _:sk_109. + _:sk_109 http:body _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. +} + +_:gn_35 { + _:sk_74 :rel2 _:sk_75. + _:sk_76 :rel2 _:sk_77. + _:sk_74 :rel2 _:sk_75. +} + +_:gn_36 { + _:sk_110 http:methodName "GET". + _:sk_110 http:requestURI _:sk_74. + _:sk_110 http:resp _:sk_111. + _:sk_111 http:body _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_37 { + _:sk_74 :rel2 _:sk_75. + _:sk_76 :rel2 _:sk_77. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_38 { + _:sk_112 http:methodName "GET". + _:sk_112 http:requestURI _:sk_74. + _:sk_112 http:resp _:sk_113. + _:sk_113 http:body _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_39 { + _:sk_76 :rel2 _:sk_77. + :x :rel2 :y. + :x :rel2 :y. +} + +_:gn_40 { + _:sk_114 http:methodName "GET". + _:sk_114 http:requestURI _:sk_76. + _:sk_114 http:resp _:sk_115. + _:sk_115 http:body _:sk_77. + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. + :x :rel3 :y. +} + +_:gn_41 { + _:sk_76 :rel2 _:sk_77. + :x :rel2 :y. + _:sk_74 :rel2 _:sk_75. +} + +_:gn_42 { + _:sk_116 http:methodName "GET". + _:sk_116 http:requestURI _:sk_76. + _:sk_116 http:resp _:sk_117. + _:sk_117 http:body _:sk_77. + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_43 { + _:sk_76 :rel2 _:sk_77. + :x :rel2 :y. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_44 { + _:sk_118 http:methodName "GET". + _:sk_118 http:requestURI _:sk_76. + _:sk_118 http:resp _:sk_119. + _:sk_119 http:body _:sk_77. + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_45 { + _:sk_76 :rel2 _:sk_77. + _:sk_74 :rel2 _:sk_75. + :x :rel2 :y. +} + +_:gn_46 { + _:sk_120 http:methodName "GET". + _:sk_120 http:requestURI _:sk_76. + _:sk_120 http:resp _:sk_121. + _:sk_121 http:body _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. +} + +_:gn_47 { + _:sk_76 :rel2 _:sk_77. + _:sk_74 :rel2 _:sk_75. + _:sk_74 :rel2 _:sk_75. +} + +_:gn_48 { + _:sk_122 http:methodName "GET". + _:sk_122 http:requestURI _:sk_76. + _:sk_122 http:resp _:sk_123. + _:sk_123 http:body _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_49 { + _:sk_76 :rel2 _:sk_77. + _:sk_74 :rel2 _:sk_75. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_50 { + _:sk_124 http:methodName "GET". + _:sk_124 http:requestURI _:sk_76. + _:sk_124 http:resp _:sk_125. + _:sk_125 http:body _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_51 { + _:sk_76 :rel2 _:sk_77. + _:sk_76 :rel2 _:sk_77. + :x :rel2 :y. +} + +_:gn_52 { + _:sk_126 http:methodName "GET". + _:sk_126 http:requestURI _:sk_76. + _:sk_126 http:resp _:sk_127. + _:sk_127 http:body _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. +} + +_:gn_53 { + _:sk_76 :rel2 _:sk_77. + _:sk_76 :rel2 _:sk_77. + _:sk_74 :rel2 _:sk_75. +} + +_:gn_54 { + _:sk_128 http:methodName "GET". + _:sk_128 http:requestURI _:sk_76. + _:sk_128 http:resp _:sk_129. + _:sk_129 http:body _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_55 { + _:sk_76 :rel2 _:sk_77. + _:sk_76 :rel2 _:sk_77. + _:sk_76 :rel2 _:sk_77. +} + +_:gn_56 { + _:sk_130 http:methodName "GET". + _:sk_130 http:requestURI _:sk_76. + _:sk_130 http:resp _:sk_131. + _:sk_131 http:body _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_57 { + :x :rel3 :y. + :x :rel3 :y. + :x :rel3 :y. +} + +_:gn_58 { + _:sk_132 http:methodName "GET". + _:sk_132 http:requestURI :x. + _:sk_132 http:resp _:sk_133. + _:sk_133 http:body :y. + :x :rel4 :y. + :x :rel4 :y. + :x :rel4 :y. +} + +_:gn_59 { + :x :rel3 :y. + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_60 { + _:sk_134 http:methodName "GET". + _:sk_134 http:requestURI :x. + _:sk_134 http:resp _:sk_135. + _:sk_135 http:body :y. + :x :rel4 :y. + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_61 { + :x :rel3 :y. + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_62 { + _:sk_136 http:methodName "GET". + _:sk_136 http:requestURI :x. + _:sk_136 http:resp _:sk_137. + _:sk_137 http:body :y. + :x :rel4 :y. + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_63 { + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. +} + +_:gn_64 { + _:sk_138 http:methodName "GET". + _:sk_138 http:requestURI :x. + _:sk_138 http:resp _:sk_139. + _:sk_139 http:body :y. + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. +} + +_:gn_65 { + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_66 { + _:sk_140 http:methodName "GET". + _:sk_140 http:requestURI :x. + _:sk_140 http:resp _:sk_141. + _:sk_141 http:body :y. + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_67 { + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_68 { + _:sk_142 http:methodName "GET". + _:sk_142 http:requestURI :x. + _:sk_142 http:resp _:sk_143. + _:sk_143 http:body :y. + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_69 { + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. +} + +_:gn_70 { + _:sk_144 http:methodName "GET". + _:sk_144 http:requestURI :x. + _:sk_144 http:resp _:sk_145. + _:sk_145 http:body :y. + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. +} + +_:gn_71 { + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_72 { + _:sk_146 http:methodName "GET". + _:sk_146 http:requestURI :x. + _:sk_146 http:resp _:sk_147. + _:sk_147 http:body :y. + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_73 { + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_74 { + _:sk_148 http:methodName "GET". + _:sk_148 http:requestURI :x. + _:sk_148 http:resp _:sk_149. + _:sk_149 http:body :y. + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_75 { + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. + :x :rel3 :y. +} + +_:gn_76 { + _:sk_150 http:methodName "GET". + _:sk_150 http:requestURI _:sk_74. + _:sk_150 http:resp _:sk_151. + _:sk_151 http:body _:sk_75. + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. + :x :rel4 :y. +} + +_:gn_77 { + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_78 { + _:sk_152 http:methodName "GET". + _:sk_152 http:requestURI _:sk_74. + _:sk_152 http:resp _:sk_153. + _:sk_153 http:body _:sk_75. + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_79 { + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_80 { + _:sk_154 http:methodName "GET". + _:sk_154 http:requestURI _:sk_74. + _:sk_154 http:resp _:sk_155. + _:sk_155 http:body _:sk_75. + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_81 { + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. +} + +_:gn_82 { + _:sk_156 http:methodName "GET". + _:sk_156 http:requestURI _:sk_74. + _:sk_156 http:resp _:sk_157. + _:sk_157 http:body _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. +} + +_:gn_83 { + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_84 { + _:sk_158 http:methodName "GET". + _:sk_158 http:requestURI _:sk_74. + _:sk_158 http:resp _:sk_159. + _:sk_159 http:body _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_85 { + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_86 { + _:sk_160 http:methodName "GET". + _:sk_160 http:requestURI _:sk_74. + _:sk_160 http:resp _:sk_161. + _:sk_161 http:body _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_87 { + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. +} + +_:gn_88 { + _:sk_162 http:methodName "GET". + _:sk_162 http:requestURI _:sk_74. + _:sk_162 http:resp _:sk_163. + _:sk_163 http:body _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. +} + +_:gn_89 { + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_90 { + _:sk_164 http:methodName "GET". + _:sk_164 http:requestURI _:sk_74. + _:sk_164 http:resp _:sk_165. + _:sk_165 http:body _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_91 { + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_92 { + _:sk_166 http:methodName "GET". + _:sk_166 http:requestURI _:sk_74. + _:sk_166 http:resp _:sk_167. + _:sk_167 http:body _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_93 { + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. + :x :rel3 :y. +} + +_:gn_94 { + _:sk_168 http:methodName "GET". + _:sk_168 http:requestURI _:sk_76. + _:sk_168 http:resp _:sk_169. + _:sk_169 http:body _:sk_77. + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. + :x :rel4 :y. +} + +_:gn_95 { + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_96 { + _:sk_170 http:methodName "GET". + _:sk_170 http:requestURI _:sk_76. + _:sk_170 http:resp _:sk_171. + _:sk_171 http:body _:sk_77. + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_97 { + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_98 { + _:sk_172 http:methodName "GET". + _:sk_172 http:requestURI _:sk_76. + _:sk_172 http:resp _:sk_173. + _:sk_173 http:body _:sk_77. + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_99 { + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. + :x :rel3 :y. +} + +_:gn_100 { + _:sk_174 http:methodName "GET". + _:sk_174 http:requestURI _:sk_76. + _:sk_174 http:resp _:sk_175. + _:sk_175 http:body _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. +} + +_:gn_101 { + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_102 { + _:sk_176 http:methodName "GET". + _:sk_176 http:requestURI _:sk_76. + _:sk_176 http:resp _:sk_177. + _:sk_177 http:body _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_103 { + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_104 { + _:sk_178 http:methodName "GET". + _:sk_178 http:requestURI _:sk_76. + _:sk_178 http:resp _:sk_179. + _:sk_179 http:body _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_105 { + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. + :x :rel3 :y. +} + +_:gn_106 { + _:sk_180 http:methodName "GET". + _:sk_180 http:requestURI _:sk_76. + _:sk_180 http:resp _:sk_181. + _:sk_181 http:body _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. +} + +_:gn_107 { + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_74 :rel3 _:sk_75. +} + +_:gn_108 { + _:sk_182 http:methodName "GET". + _:sk_182 http:requestURI _:sk_76. + _:sk_182 http:resp _:sk_183. + _:sk_183 http:body _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_109 { + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. + _:sk_76 :rel3 _:sk_77. +} + +_:gn_110 { + _:sk_184 http:methodName "GET". + _:sk_184 http:requestURI _:sk_76. + _:sk_184 http:resp _:sk_185. + _:sk_185 http:body _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_111 { + :x :rel4 :y. + :x :rel4 :y. + :x :rel4 :y. +} + +_:gn_112 { + _:sk_186 http:methodName "GET". + _:sk_186 http:requestURI :x. + _:sk_186 http:resp _:sk_187. + _:sk_187 http:body :y. + :x :rel5 :y. + :x :rel5 :y. + :x :rel5 :y. +} + +_:gn_113 { + :x :rel4 :y. + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_114 { + _:sk_188 http:methodName "GET". + _:sk_188 http:requestURI :x. + _:sk_188 http:resp _:sk_189. + _:sk_189 http:body :y. + :x :rel5 :y. + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_115 { + :x :rel4 :y. + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_116 { + _:sk_190 http:methodName "GET". + _:sk_190 http:requestURI :x. + _:sk_190 http:resp _:sk_191. + _:sk_191 http:body :y. + :x :rel5 :y. + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_117 { + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. +} + +_:gn_118 { + _:sk_192 http:methodName "GET". + _:sk_192 http:requestURI :x. + _:sk_192 http:resp _:sk_193. + _:sk_193 http:body :y. + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. +} + +_:gn_119 { + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_120 { + _:sk_194 http:methodName "GET". + _:sk_194 http:requestURI :x. + _:sk_194 http:resp _:sk_195. + _:sk_195 http:body :y. + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_121 { + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_122 { + _:sk_196 http:methodName "GET". + _:sk_196 http:requestURI :x. + _:sk_196 http:resp _:sk_197. + _:sk_197 http:body :y. + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_123 { + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. +} + +_:gn_124 { + _:sk_198 http:methodName "GET". + _:sk_198 http:requestURI :x. + _:sk_198 http:resp _:sk_199. + _:sk_199 http:body :y. + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. +} + +_:gn_125 { + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_126 { + _:sk_200 http:methodName "GET". + _:sk_200 http:requestURI :x. + _:sk_200 http:resp _:sk_201. + _:sk_201 http:body :y. + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_127 { + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_128 { + _:sk_202 http:methodName "GET". + _:sk_202 http:requestURI :x. + _:sk_202 http:resp _:sk_203. + _:sk_203 http:body :y. + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_129 { + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. + :x :rel4 :y. +} + +_:gn_130 { + _:sk_204 http:methodName "GET". + _:sk_204 http:requestURI _:sk_74. + _:sk_204 http:resp _:sk_205. + _:sk_205 http:body _:sk_75. + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. + :x :rel5 :y. +} + +_:gn_131 { + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_132 { + _:sk_206 http:methodName "GET". + _:sk_206 http:requestURI _:sk_74. + _:sk_206 http:resp _:sk_207. + _:sk_207 http:body _:sk_75. + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_133 { + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_134 { + _:sk_208 http:methodName "GET". + _:sk_208 http:requestURI _:sk_74. + _:sk_208 http:resp _:sk_209. + _:sk_209 http:body _:sk_75. + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_135 { + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. +} + +_:gn_136 { + _:sk_210 http:methodName "GET". + _:sk_210 http:requestURI _:sk_74. + _:sk_210 http:resp _:sk_211. + _:sk_211 http:body _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. +} + +_:gn_137 { + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_138 { + _:sk_212 http:methodName "GET". + _:sk_212 http:requestURI _:sk_74. + _:sk_212 http:resp _:sk_213. + _:sk_213 http:body _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_139 { + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_140 { + _:sk_214 http:methodName "GET". + _:sk_214 http:requestURI _:sk_74. + _:sk_214 http:resp _:sk_215. + _:sk_215 http:body _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_141 { + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. +} + +_:gn_142 { + _:sk_216 http:methodName "GET". + _:sk_216 http:requestURI _:sk_74. + _:sk_216 http:resp _:sk_217. + _:sk_217 http:body _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. +} + +_:gn_143 { + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_144 { + _:sk_218 http:methodName "GET". + _:sk_218 http:requestURI _:sk_74. + _:sk_218 http:resp _:sk_219. + _:sk_219 http:body _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_145 { + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_146 { + _:sk_220 http:methodName "GET". + _:sk_220 http:requestURI _:sk_74. + _:sk_220 http:resp _:sk_221. + _:sk_221 http:body _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_147 { + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. + :x :rel4 :y. +} + +_:gn_148 { + _:sk_222 http:methodName "GET". + _:sk_222 http:requestURI _:sk_76. + _:sk_222 http:resp _:sk_223. + _:sk_223 http:body _:sk_77. + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. + :x :rel5 :y. +} + +_:gn_149 { + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_150 { + _:sk_224 http:methodName "GET". + _:sk_224 http:requestURI _:sk_76. + _:sk_224 http:resp _:sk_225. + _:sk_225 http:body _:sk_77. + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_151 { + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_152 { + _:sk_226 http:methodName "GET". + _:sk_226 http:requestURI _:sk_76. + _:sk_226 http:resp _:sk_227. + _:sk_227 http:body _:sk_77. + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_153 { + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. + :x :rel4 :y. +} + +_:gn_154 { + _:sk_228 http:methodName "GET". + _:sk_228 http:requestURI _:sk_76. + _:sk_228 http:resp _:sk_229. + _:sk_229 http:body _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. +} + +_:gn_155 { + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_156 { + _:sk_230 http:methodName "GET". + _:sk_230 http:requestURI _:sk_76. + _:sk_230 http:resp _:sk_231. + _:sk_231 http:body _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_157 { + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_158 { + _:sk_232 http:methodName "GET". + _:sk_232 http:requestURI _:sk_76. + _:sk_232 http:resp _:sk_233. + _:sk_233 http:body _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_159 { + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. + :x :rel4 :y. +} + +_:gn_160 { + _:sk_234 http:methodName "GET". + _:sk_234 http:requestURI _:sk_76. + _:sk_234 http:resp _:sk_235. + _:sk_235 http:body _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. +} + +_:gn_161 { + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_74 :rel4 _:sk_75. +} + +_:gn_162 { + _:sk_236 http:methodName "GET". + _:sk_236 http:requestURI _:sk_76. + _:sk_236 http:resp _:sk_237. + _:sk_237 http:body _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_163 { + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. + _:sk_76 :rel4 _:sk_77. +} + +_:gn_164 { + _:sk_238 http:methodName "GET". + _:sk_238 http:requestURI _:sk_76. + _:sk_238 http:resp _:sk_239. + _:sk_239 http:body _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_165 { + :x :rel5 :y. + :x :rel5 :y. + :x :rel5 :y. +} + +_:gn_166 { + _:sk_240 http:methodName "GET". + _:sk_240 http:requestURI :x. + _:sk_240 http:resp _:sk_241. + _:sk_241 http:body :y. + :x :rel6 :y. + :x :rel6 :y. + :x :rel6 :y. +} + +_:gn_167 { + :x :rel5 :y. + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_168 { + _:sk_242 http:methodName "GET". + _:sk_242 http:requestURI :x. + _:sk_242 http:resp _:sk_243. + _:sk_243 http:body :y. + :x :rel6 :y. + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_169 { + :x :rel5 :y. + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_170 { + _:sk_244 http:methodName "GET". + _:sk_244 http:requestURI :x. + _:sk_244 http:resp _:sk_245. + _:sk_245 http:body :y. + :x :rel6 :y. + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_171 { + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. +} + +_:gn_172 { + _:sk_246 http:methodName "GET". + _:sk_246 http:requestURI :x. + _:sk_246 http:resp _:sk_247. + _:sk_247 http:body :y. + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. +} + +_:gn_173 { + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_174 { + _:sk_248 http:methodName "GET". + _:sk_248 http:requestURI :x. + _:sk_248 http:resp _:sk_249. + _:sk_249 http:body :y. + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_175 { + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_176 { + _:sk_250 http:methodName "GET". + _:sk_250 http:requestURI :x. + _:sk_250 http:resp _:sk_251. + _:sk_251 http:body :y. + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_177 { + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. +} + +_:gn_178 { + _:sk_252 http:methodName "GET". + _:sk_252 http:requestURI :x. + _:sk_252 http:resp _:sk_253. + _:sk_253 http:body :y. + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. +} + +_:gn_179 { + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_180 { + _:sk_254 http:methodName "GET". + _:sk_254 http:requestURI :x. + _:sk_254 http:resp _:sk_255. + _:sk_255 http:body :y. + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_181 { + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_182 { + _:sk_256 http:methodName "GET". + _:sk_256 http:requestURI :x. + _:sk_256 http:resp _:sk_257. + _:sk_257 http:body :y. + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_183 { + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. + :x :rel5 :y. +} + +_:gn_184 { + _:sk_258 http:methodName "GET". + _:sk_258 http:requestURI _:sk_74. + _:sk_258 http:resp _:sk_259. + _:sk_259 http:body _:sk_75. + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. + :x :rel6 :y. +} + +_:gn_185 { + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_186 { + _:sk_260 http:methodName "GET". + _:sk_260 http:requestURI _:sk_74. + _:sk_260 http:resp _:sk_261. + _:sk_261 http:body _:sk_75. + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_187 { + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_188 { + _:sk_262 http:methodName "GET". + _:sk_262 http:requestURI _:sk_74. + _:sk_262 http:resp _:sk_263. + _:sk_263 http:body _:sk_75. + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_189 { + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. +} + +_:gn_190 { + _:sk_264 http:methodName "GET". + _:sk_264 http:requestURI _:sk_74. + _:sk_264 http:resp _:sk_265. + _:sk_265 http:body _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. +} + +_:gn_191 { + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_192 { + _:sk_266 http:methodName "GET". + _:sk_266 http:requestURI _:sk_74. + _:sk_266 http:resp _:sk_267. + _:sk_267 http:body _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_193 { + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_194 { + _:sk_268 http:methodName "GET". + _:sk_268 http:requestURI _:sk_74. + _:sk_268 http:resp _:sk_269. + _:sk_269 http:body _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_195 { + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. +} + +_:gn_196 { + _:sk_270 http:methodName "GET". + _:sk_270 http:requestURI _:sk_74. + _:sk_270 http:resp _:sk_271. + _:sk_271 http:body _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. +} + +_:gn_197 { + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_198 { + _:sk_272 http:methodName "GET". + _:sk_272 http:requestURI _:sk_74. + _:sk_272 http:resp _:sk_273. + _:sk_273 http:body _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_199 { + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_200 { + _:sk_274 http:methodName "GET". + _:sk_274 http:requestURI _:sk_74. + _:sk_274 http:resp _:sk_275. + _:sk_275 http:body _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_201 { + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. + :x :rel5 :y. +} + +_:gn_202 { + _:sk_276 http:methodName "GET". + _:sk_276 http:requestURI _:sk_76. + _:sk_276 http:resp _:sk_277. + _:sk_277 http:body _:sk_77. + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. + :x :rel6 :y. +} + +_:gn_203 { + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_204 { + _:sk_278 http:methodName "GET". + _:sk_278 http:requestURI _:sk_76. + _:sk_278 http:resp _:sk_279. + _:sk_279 http:body _:sk_77. + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_205 { + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_206 { + _:sk_280 http:methodName "GET". + _:sk_280 http:requestURI _:sk_76. + _:sk_280 http:resp _:sk_281. + _:sk_281 http:body _:sk_77. + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_207 { + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. + :x :rel5 :y. +} + +_:gn_208 { + _:sk_282 http:methodName "GET". + _:sk_282 http:requestURI _:sk_76. + _:sk_282 http:resp _:sk_283. + _:sk_283 http:body _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. +} + +_:gn_209 { + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_210 { + _:sk_284 http:methodName "GET". + _:sk_284 http:requestURI _:sk_76. + _:sk_284 http:resp _:sk_285. + _:sk_285 http:body _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_211 { + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_212 { + _:sk_286 http:methodName "GET". + _:sk_286 http:requestURI _:sk_76. + _:sk_286 http:resp _:sk_287. + _:sk_287 http:body _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_213 { + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. + :x :rel5 :y. +} + +_:gn_214 { + _:sk_288 http:methodName "GET". + _:sk_288 http:requestURI _:sk_76. + _:sk_288 http:resp _:sk_289. + _:sk_289 http:body _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. +} + +_:gn_215 { + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_74 :rel5 _:sk_75. +} + +_:gn_216 { + _:sk_290 http:methodName "GET". + _:sk_290 http:requestURI _:sk_76. + _:sk_290 http:resp _:sk_291. + _:sk_291 http:body _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_217 { + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. + _:sk_76 :rel5 _:sk_77. +} + +_:gn_218 { + _:sk_292 http:methodName "GET". + _:sk_292 http:requestURI _:sk_76. + _:sk_292 http:resp _:sk_293. + _:sk_293 http:body _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_219 { + :x :rel6 :y. + :x :rel6 :y. + :x :rel6 :y. +} + +_:gn_220 { + _:sk_294 http:methodName "GET". + _:sk_294 http:requestURI :x. + _:sk_294 http:resp _:sk_295. + _:sk_295 http:body :y. + :x :rel7 :y. + :x :rel7 :y. + :x :rel7 :y. +} + +_:gn_221 { + :x :rel6 :y. + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_222 { + _:sk_296 http:methodName "GET". + _:sk_296 http:requestURI :x. + _:sk_296 http:resp _:sk_297. + _:sk_297 http:body :y. + :x :rel7 :y. + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_223 { + :x :rel6 :y. + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_224 { + _:sk_298 http:methodName "GET". + _:sk_298 http:requestURI :x. + _:sk_298 http:resp _:sk_299. + _:sk_299 http:body :y. + :x :rel7 :y. + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_225 { + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. +} + +_:gn_226 { + _:sk_300 http:methodName "GET". + _:sk_300 http:requestURI :x. + _:sk_300 http:resp _:sk_301. + _:sk_301 http:body :y. + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. +} + +_:gn_227 { + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_228 { + _:sk_302 http:methodName "GET". + _:sk_302 http:requestURI :x. + _:sk_302 http:resp _:sk_303. + _:sk_303 http:body :y. + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_229 { + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_230 { + _:sk_304 http:methodName "GET". + _:sk_304 http:requestURI :x. + _:sk_304 http:resp _:sk_305. + _:sk_305 http:body :y. + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_231 { + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. +} + +_:gn_232 { + _:sk_306 http:methodName "GET". + _:sk_306 http:requestURI :x. + _:sk_306 http:resp _:sk_307. + _:sk_307 http:body :y. + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. +} + +_:gn_233 { + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_234 { + _:sk_308 http:methodName "GET". + _:sk_308 http:requestURI :x. + _:sk_308 http:resp _:sk_309. + _:sk_309 http:body :y. + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_235 { + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_236 { + _:sk_310 http:methodName "GET". + _:sk_310 http:requestURI :x. + _:sk_310 http:resp _:sk_311. + _:sk_311 http:body :y. + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_237 { + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. + :x :rel6 :y. +} + +_:gn_238 { + _:sk_312 http:methodName "GET". + _:sk_312 http:requestURI _:sk_74. + _:sk_312 http:resp _:sk_313. + _:sk_313 http:body _:sk_75. + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. + :x :rel7 :y. +} + +_:gn_239 { + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_240 { + _:sk_314 http:methodName "GET". + _:sk_314 http:requestURI _:sk_74. + _:sk_314 http:resp _:sk_315. + _:sk_315 http:body _:sk_75. + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_241 { + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_242 { + _:sk_316 http:methodName "GET". + _:sk_316 http:requestURI _:sk_74. + _:sk_316 http:resp _:sk_317. + _:sk_317 http:body _:sk_75. + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_243 { + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. +} + +_:gn_244 { + _:sk_318 http:methodName "GET". + _:sk_318 http:requestURI _:sk_74. + _:sk_318 http:resp _:sk_319. + _:sk_319 http:body _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. +} + +_:gn_245 { + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_246 { + _:sk_320 http:methodName "GET". + _:sk_320 http:requestURI _:sk_74. + _:sk_320 http:resp _:sk_321. + _:sk_321 http:body _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_247 { + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_248 { + _:sk_322 http:methodName "GET". + _:sk_322 http:requestURI _:sk_74. + _:sk_322 http:resp _:sk_323. + _:sk_323 http:body _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_249 { + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. +} + +_:gn_250 { + _:sk_324 http:methodName "GET". + _:sk_324 http:requestURI _:sk_74. + _:sk_324 http:resp _:sk_325. + _:sk_325 http:body _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. +} + +_:gn_251 { + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_252 { + _:sk_326 http:methodName "GET". + _:sk_326 http:requestURI _:sk_74. + _:sk_326 http:resp _:sk_327. + _:sk_327 http:body _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_253 { + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_254 { + _:sk_328 http:methodName "GET". + _:sk_328 http:requestURI _:sk_74. + _:sk_328 http:resp _:sk_329. + _:sk_329 http:body _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_255 { + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. + :x :rel6 :y. +} + +_:gn_256 { + _:sk_330 http:methodName "GET". + _:sk_330 http:requestURI _:sk_76. + _:sk_330 http:resp _:sk_331. + _:sk_331 http:body _:sk_77. + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. + :x :rel7 :y. +} + +_:gn_257 { + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_258 { + _:sk_332 http:methodName "GET". + _:sk_332 http:requestURI _:sk_76. + _:sk_332 http:resp _:sk_333. + _:sk_333 http:body _:sk_77. + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_259 { + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_260 { + _:sk_334 http:methodName "GET". + _:sk_334 http:requestURI _:sk_76. + _:sk_334 http:resp _:sk_335. + _:sk_335 http:body _:sk_77. + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_261 { + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. + :x :rel6 :y. +} + +_:gn_262 { + _:sk_336 http:methodName "GET". + _:sk_336 http:requestURI _:sk_76. + _:sk_336 http:resp _:sk_337. + _:sk_337 http:body _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. +} + +_:gn_263 { + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_264 { + _:sk_338 http:methodName "GET". + _:sk_338 http:requestURI _:sk_76. + _:sk_338 http:resp _:sk_339. + _:sk_339 http:body _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_265 { + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_266 { + _:sk_340 http:methodName "GET". + _:sk_340 http:requestURI _:sk_76. + _:sk_340 http:resp _:sk_341. + _:sk_341 http:body _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_267 { + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. + :x :rel6 :y. +} + +_:gn_268 { + _:sk_342 http:methodName "GET". + _:sk_342 http:requestURI _:sk_76. + _:sk_342 http:resp _:sk_343. + _:sk_343 http:body _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. +} + +_:gn_269 { + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_74 :rel6 _:sk_75. +} + +_:gn_270 { + _:sk_344 http:methodName "GET". + _:sk_344 http:requestURI _:sk_76. + _:sk_344 http:resp _:sk_345. + _:sk_345 http:body _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_271 { + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. + _:sk_76 :rel6 _:sk_77. +} + +_:gn_272 { + _:sk_346 http:methodName "GET". + _:sk_346 http:requestURI _:sk_76. + _:sk_346 http:resp _:sk_347. + _:sk_347 http:body _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_273 { + :x :rel7 :y. + :x :rel7 :y. + :x :rel7 :y. +} + +_:gn_274 { + _:sk_348 http:methodName "GET". + _:sk_348 http:requestURI :x. + _:sk_348 http:resp _:sk_349. + _:sk_349 http:body :y. + :x :rel8 :y. + :x :rel8 :y. + :x :rel8 :y. +} + +_:gn_275 { + :x :rel7 :y. + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_276 { + _:sk_350 http:methodName "GET". + _:sk_350 http:requestURI :x. + _:sk_350 http:resp _:sk_351. + _:sk_351 http:body :y. + :x :rel8 :y. + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_277 { + :x :rel7 :y. + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_278 { + _:sk_352 http:methodName "GET". + _:sk_352 http:requestURI :x. + _:sk_352 http:resp _:sk_353. + _:sk_353 http:body :y. + :x :rel8 :y. + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_279 { + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. +} + +_:gn_280 { + _:sk_354 http:methodName "GET". + _:sk_354 http:requestURI :x. + _:sk_354 http:resp _:sk_355. + _:sk_355 http:body :y. + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. +} + +_:gn_281 { + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_282 { + _:sk_356 http:methodName "GET". + _:sk_356 http:requestURI :x. + _:sk_356 http:resp _:sk_357. + _:sk_357 http:body :y. + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_283 { + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_284 { + _:sk_358 http:methodName "GET". + _:sk_358 http:requestURI :x. + _:sk_358 http:resp _:sk_359. + _:sk_359 http:body :y. + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_285 { + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. +} + +_:gn_286 { + _:sk_360 http:methodName "GET". + _:sk_360 http:requestURI :x. + _:sk_360 http:resp _:sk_361. + _:sk_361 http:body :y. + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. +} + +_:gn_287 { + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_288 { + _:sk_362 http:methodName "GET". + _:sk_362 http:requestURI :x. + _:sk_362 http:resp _:sk_363. + _:sk_363 http:body :y. + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_289 { + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_290 { + _:sk_364 http:methodName "GET". + _:sk_364 http:requestURI :x. + _:sk_364 http:resp _:sk_365. + _:sk_365 http:body :y. + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_291 { + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. + :x :rel7 :y. +} + +_:gn_292 { + _:sk_366 http:methodName "GET". + _:sk_366 http:requestURI _:sk_74. + _:sk_366 http:resp _:sk_367. + _:sk_367 http:body _:sk_75. + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. + :x :rel8 :y. +} + +_:gn_293 { + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_294 { + _:sk_368 http:methodName "GET". + _:sk_368 http:requestURI _:sk_74. + _:sk_368 http:resp _:sk_369. + _:sk_369 http:body _:sk_75. + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_295 { + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_296 { + _:sk_370 http:methodName "GET". + _:sk_370 http:requestURI _:sk_74. + _:sk_370 http:resp _:sk_371. + _:sk_371 http:body _:sk_75. + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_297 { + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. +} + +_:gn_298 { + _:sk_372 http:methodName "GET". + _:sk_372 http:requestURI _:sk_74. + _:sk_372 http:resp _:sk_373. + _:sk_373 http:body _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. +} + +_:gn_299 { + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_300 { + _:sk_374 http:methodName "GET". + _:sk_374 http:requestURI _:sk_74. + _:sk_374 http:resp _:sk_375. + _:sk_375 http:body _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_301 { + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_302 { + _:sk_376 http:methodName "GET". + _:sk_376 http:requestURI _:sk_74. + _:sk_376 http:resp _:sk_377. + _:sk_377 http:body _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_303 { + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. +} + +_:gn_304 { + _:sk_378 http:methodName "GET". + _:sk_378 http:requestURI _:sk_74. + _:sk_378 http:resp _:sk_379. + _:sk_379 http:body _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. +} + +_:gn_305 { + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_306 { + _:sk_380 http:methodName "GET". + _:sk_380 http:requestURI _:sk_74. + _:sk_380 http:resp _:sk_381. + _:sk_381 http:body _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_307 { + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_308 { + _:sk_382 http:methodName "GET". + _:sk_382 http:requestURI _:sk_74. + _:sk_382 http:resp _:sk_383. + _:sk_383 http:body _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_309 { + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. + :x :rel7 :y. +} + +_:gn_310 { + _:sk_384 http:methodName "GET". + _:sk_384 http:requestURI _:sk_76. + _:sk_384 http:resp _:sk_385. + _:sk_385 http:body _:sk_77. + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. + :x :rel8 :y. +} + +_:gn_311 { + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_312 { + _:sk_386 http:methodName "GET". + _:sk_386 http:requestURI _:sk_76. + _:sk_386 http:resp _:sk_387. + _:sk_387 http:body _:sk_77. + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_313 { + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_314 { + _:sk_388 http:methodName "GET". + _:sk_388 http:requestURI _:sk_76. + _:sk_388 http:resp _:sk_389. + _:sk_389 http:body _:sk_77. + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_315 { + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. + :x :rel7 :y. +} + +_:gn_316 { + _:sk_390 http:methodName "GET". + _:sk_390 http:requestURI _:sk_76. + _:sk_390 http:resp _:sk_391. + _:sk_391 http:body _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. +} + +_:gn_317 { + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_318 { + _:sk_392 http:methodName "GET". + _:sk_392 http:requestURI _:sk_76. + _:sk_392 http:resp _:sk_393. + _:sk_393 http:body _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_319 { + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_320 { + _:sk_394 http:methodName "GET". + _:sk_394 http:requestURI _:sk_76. + _:sk_394 http:resp _:sk_395. + _:sk_395 http:body _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_321 { + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. + :x :rel7 :y. +} + +_:gn_322 { + _:sk_396 http:methodName "GET". + _:sk_396 http:requestURI _:sk_76. + _:sk_396 http:resp _:sk_397. + _:sk_397 http:body _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. +} + +_:gn_323 { + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_74 :rel7 _:sk_75. +} + +_:gn_324 { + _:sk_398 http:methodName "GET". + _:sk_398 http:requestURI _:sk_76. + _:sk_398 http:resp _:sk_399. + _:sk_399 http:body _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_325 { + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. + _:sk_76 :rel7 _:sk_77. +} + +_:gn_326 { + _:sk_400 http:methodName "GET". + _:sk_400 http:requestURI _:sk_76. + _:sk_400 http:resp _:sk_401. + _:sk_401 http:body _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_327 { + :x :rel8 :y. + :x :rel8 :y. + :x :rel8 :y. +} + +_:gn_328 { + _:sk_402 http:methodName "GET". + _:sk_402 http:requestURI :x. + _:sk_402 http:resp _:sk_403. + _:sk_403 http:body :y. + :x :rel9 :y. + :x :rel9 :y. + :x :rel9 :y. +} + +_:gn_329 { + :x :rel8 :y. + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_330 { + _:sk_404 http:methodName "GET". + _:sk_404 http:requestURI :x. + _:sk_404 http:resp _:sk_405. + _:sk_405 http:body :y. + :x :rel9 :y. + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_331 { + :x :rel8 :y. + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_332 { + _:sk_406 http:methodName "GET". + _:sk_406 http:requestURI :x. + _:sk_406 http:resp _:sk_407. + _:sk_407 http:body :y. + :x :rel9 :y. + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_333 { + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. +} + +_:gn_334 { + _:sk_408 http:methodName "GET". + _:sk_408 http:requestURI :x. + _:sk_408 http:resp _:sk_409. + _:sk_409 http:body :y. + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. +} + +_:gn_335 { + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_336 { + _:sk_410 http:methodName "GET". + _:sk_410 http:requestURI :x. + _:sk_410 http:resp _:sk_411. + _:sk_411 http:body :y. + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_337 { + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_338 { + _:sk_412 http:methodName "GET". + _:sk_412 http:requestURI :x. + _:sk_412 http:resp _:sk_413. + _:sk_413 http:body :y. + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_339 { + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. +} + +_:gn_340 { + _:sk_414 http:methodName "GET". + _:sk_414 http:requestURI :x. + _:sk_414 http:resp _:sk_415. + _:sk_415 http:body :y. + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. +} + +_:gn_341 { + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_342 { + _:sk_416 http:methodName "GET". + _:sk_416 http:requestURI :x. + _:sk_416 http:resp _:sk_417. + _:sk_417 http:body :y. + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_343 { + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_344 { + _:sk_418 http:methodName "GET". + _:sk_418 http:requestURI :x. + _:sk_418 http:resp _:sk_419. + _:sk_419 http:body :y. + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_345 { + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. + :x :rel8 :y. +} + +_:gn_346 { + _:sk_420 http:methodName "GET". + _:sk_420 http:requestURI _:sk_74. + _:sk_420 http:resp _:sk_421. + _:sk_421 http:body _:sk_75. + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. + :x :rel9 :y. +} + +_:gn_347 { + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_348 { + _:sk_422 http:methodName "GET". + _:sk_422 http:requestURI _:sk_74. + _:sk_422 http:resp _:sk_423. + _:sk_423 http:body _:sk_75. + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_349 { + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_350 { + _:sk_424 http:methodName "GET". + _:sk_424 http:requestURI _:sk_74. + _:sk_424 http:resp _:sk_425. + _:sk_425 http:body _:sk_75. + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_351 { + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. +} + +_:gn_352 { + _:sk_426 http:methodName "GET". + _:sk_426 http:requestURI _:sk_74. + _:sk_426 http:resp _:sk_427. + _:sk_427 http:body _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. +} + +_:gn_353 { + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_354 { + _:sk_428 http:methodName "GET". + _:sk_428 http:requestURI _:sk_74. + _:sk_428 http:resp _:sk_429. + _:sk_429 http:body _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_355 { + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_356 { + _:sk_430 http:methodName "GET". + _:sk_430 http:requestURI _:sk_74. + _:sk_430 http:resp _:sk_431. + _:sk_431 http:body _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_357 { + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. +} + +_:gn_358 { + _:sk_432 http:methodName "GET". + _:sk_432 http:requestURI _:sk_74. + _:sk_432 http:resp _:sk_433. + _:sk_433 http:body _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. +} + +_:gn_359 { + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_360 { + _:sk_434 http:methodName "GET". + _:sk_434 http:requestURI _:sk_74. + _:sk_434 http:resp _:sk_435. + _:sk_435 http:body _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_361 { + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_362 { + _:sk_436 http:methodName "GET". + _:sk_436 http:requestURI _:sk_74. + _:sk_436 http:resp _:sk_437. + _:sk_437 http:body _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_363 { + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. + :x :rel8 :y. +} + +_:gn_364 { + _:sk_438 http:methodName "GET". + _:sk_438 http:requestURI _:sk_76. + _:sk_438 http:resp _:sk_439. + _:sk_439 http:body _:sk_77. + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. + :x :rel9 :y. +} + +_:gn_365 { + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_366 { + _:sk_440 http:methodName "GET". + _:sk_440 http:requestURI _:sk_76. + _:sk_440 http:resp _:sk_441. + _:sk_441 http:body _:sk_77. + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_367 { + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_368 { + _:sk_442 http:methodName "GET". + _:sk_442 http:requestURI _:sk_76. + _:sk_442 http:resp _:sk_443. + _:sk_443 http:body _:sk_77. + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_369 { + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. + :x :rel8 :y. +} + +_:gn_370 { + _:sk_444 http:methodName "GET". + _:sk_444 http:requestURI _:sk_76. + _:sk_444 http:resp _:sk_445. + _:sk_445 http:body _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. +} + +_:gn_371 { + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_372 { + _:sk_446 http:methodName "GET". + _:sk_446 http:requestURI _:sk_76. + _:sk_446 http:resp _:sk_447. + _:sk_447 http:body _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_373 { + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_374 { + _:sk_448 http:methodName "GET". + _:sk_448 http:requestURI _:sk_76. + _:sk_448 http:resp _:sk_449. + _:sk_449 http:body _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_375 { + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. + :x :rel8 :y. +} + +_:gn_376 { + _:sk_450 http:methodName "GET". + _:sk_450 http:requestURI _:sk_76. + _:sk_450 http:resp _:sk_451. + _:sk_451 http:body _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. +} + +_:gn_377 { + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_74 :rel8 _:sk_75. +} + +_:gn_378 { + _:sk_452 http:methodName "GET". + _:sk_452 http:requestURI _:sk_76. + _:sk_452 http:resp _:sk_453. + _:sk_453 http:body _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_379 { + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. + _:sk_76 :rel8 _:sk_77. +} + +_:gn_380 { + _:sk_454 http:methodName "GET". + _:sk_454 http:requestURI _:sk_76. + _:sk_454 http:resp _:sk_455. + _:sk_455 http:body _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_381 { + :x :rel9 :y. + :x :rel9 :y. + :x :rel9 :y. +} + +_:gn_382 { + _:sk_456 http:methodName "GET". + _:sk_456 http:requestURI :x. + _:sk_456 http:resp _:sk_457. + _:sk_457 http:body :y. + :x :rel10 :y. + :x :rel10 :y. + :x :rel10 :y. + :x :relGoal :y. +} + +_:gn_383 { + :x :rel9 :y. + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_384 { + _:sk_458 http:methodName "GET". + _:sk_458 http:requestURI :x. + _:sk_458 http:resp _:sk_459. + _:sk_459 http:body :y. + :x :rel10 :y. + :x :rel10 :y. + _:sk_74 :rel10 _:sk_75. + :x :relGoal :y. +} + +_:gn_385 { + :x :rel9 :y. + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_386 { + _:sk_460 http:methodName "GET". + _:sk_460 http:requestURI :x. + _:sk_460 http:resp _:sk_461. + _:sk_461 http:body :y. + :x :rel10 :y. + :x :rel10 :y. + _:sk_76 :rel10 _:sk_77. + :x :relGoal :y. +} + +_:gn_387 { + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. +} + +_:gn_388 { + _:sk_462 http:methodName "GET". + _:sk_462 http:requestURI :x. + _:sk_462 http:resp _:sk_463. + _:sk_463 http:body :y. + :x :rel10 :y. + _:sk_74 :rel10 _:sk_75. + :x :rel10 :y. + :x :relGoal :y. +} + +_:gn_389 { + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_390 { + _:sk_464 http:methodName "GET". + _:sk_464 http:requestURI :x. + _:sk_464 http:resp _:sk_465. + _:sk_465 http:body :y. + :x :rel10 :y. + _:sk_74 :rel10 _:sk_75. + _:sk_74 :rel10 _:sk_75. + :x :relGoal :y. +} + +_:gn_391 { + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_392 { + _:sk_466 http:methodName "GET". + _:sk_466 http:requestURI :x. + _:sk_466 http:resp _:sk_467. + _:sk_467 http:body :y. + :x :rel10 :y. + _:sk_74 :rel10 _:sk_75. + _:sk_76 :rel10 _:sk_77. + :x :relGoal :y. +} + +_:gn_393 { + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. +} + +_:gn_394 { + _:sk_468 http:methodName "GET". + _:sk_468 http:requestURI :x. + _:sk_468 http:resp _:sk_469. + _:sk_469 http:body :y. + :x :rel10 :y. + _:sk_76 :rel10 _:sk_77. + :x :rel10 :y. + :x :relGoal :y. +} + +_:gn_395 { + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_396 { + _:sk_470 http:methodName "GET". + _:sk_470 http:requestURI :x. + _:sk_470 http:resp _:sk_471. + _:sk_471 http:body :y. + :x :rel10 :y. + _:sk_76 :rel10 _:sk_77. + _:sk_74 :rel10 _:sk_75. + :x :relGoal :y. +} + +_:gn_397 { + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_398 { + _:sk_472 http:methodName "GET". + _:sk_472 http:requestURI :x. + _:sk_472 http:resp _:sk_473. + _:sk_473 http:body :y. + :x :rel10 :y. + _:sk_76 :rel10 _:sk_77. + _:sk_76 :rel10 _:sk_77. + :x :relGoal :y. +} + +_:gn_399 { + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. + :x :rel9 :y. +} + +_:gn_400 { + _:sk_474 http:methodName "GET". + _:sk_474 http:requestURI _:sk_74. + _:sk_474 http:resp _:sk_475. + _:sk_475 http:body _:sk_75. + _:sk_74 :rel10 _:sk_75. + :x :rel10 :y. + :x :rel10 :y. + _:sk_74 :relGoal _:sk_75. +} + +_:gn_401 { + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_402 { + _:sk_476 http:methodName "GET". + _:sk_476 http:requestURI _:sk_74. + _:sk_476 http:resp _:sk_477. + _:sk_477 http:body _:sk_75. + _:sk_74 :rel10 _:sk_75. + :x :rel10 :y. + _:sk_74 :rel10 _:sk_75. + _:sk_74 :relGoal _:sk_75. +} + +_:gn_403 { + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_404 { + _:sk_478 http:methodName "GET". + _:sk_478 http:requestURI _:sk_74. + _:sk_478 http:resp _:sk_479. + _:sk_479 http:body _:sk_75. + _:sk_74 :rel10 _:sk_75. + :x :rel10 :y. + _:sk_76 :rel10 _:sk_77. + _:sk_74 :relGoal _:sk_75. +} + +_:gn_405 { + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. +} + +_:gn_406 { + _:sk_480 http:methodName "GET". + _:sk_480 http:requestURI _:sk_74. + _:sk_480 http:resp _:sk_481. + _:sk_481 http:body _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_74 :rel10 _:sk_75. + :x :rel10 :y. + _:sk_74 :relGoal _:sk_75. +} + +_:gn_407 { + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_408 { + _:sk_482 http:methodName "GET". + _:sk_482 http:requestURI _:sk_74. + _:sk_482 http:resp _:sk_483. + _:sk_483 http:body _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_74 :relGoal _:sk_75. +} + +_:gn_409 { + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_410 { + _:sk_484 http:methodName "GET". + _:sk_484 http:requestURI _:sk_74. + _:sk_484 http:resp _:sk_485. + _:sk_485 http:body _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_76 :rel10 _:sk_77. + _:sk_74 :relGoal _:sk_75. +} + +_:gn_411 { + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. +} + +_:gn_412 { + _:sk_486 http:methodName "GET". + _:sk_486 http:requestURI _:sk_74. + _:sk_486 http:resp _:sk_487. + _:sk_487 http:body _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_76 :rel10 _:sk_77. + :x :rel10 :y. + _:sk_74 :relGoal _:sk_75. +} + +_:gn_413 { + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_414 { + _:sk_488 http:methodName "GET". + _:sk_488 http:requestURI _:sk_74. + _:sk_488 http:resp _:sk_489. + _:sk_489 http:body _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_76 :rel10 _:sk_77. + _:sk_74 :rel10 _:sk_75. + _:sk_74 :relGoal _:sk_75. +} + +_:gn_415 { + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_416 { + _:sk_490 http:methodName "GET". + _:sk_490 http:requestURI _:sk_74. + _:sk_490 http:resp _:sk_491. + _:sk_491 http:body _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_76 :rel10 _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_74 :relGoal _:sk_75. +} + +_:gn_417 { + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. + :x :rel9 :y. +} + +_:gn_418 { + _:sk_492 http:methodName "GET". + _:sk_492 http:requestURI _:sk_76. + _:sk_492 http:resp _:sk_493. + _:sk_493 http:body _:sk_77. + _:sk_76 :rel10 _:sk_77. + :x :rel10 :y. + :x :rel10 :y. + _:sk_76 :relGoal _:sk_77. +} + +_:gn_419 { + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_420 { + _:sk_494 http:methodName "GET". + _:sk_494 http:requestURI _:sk_76. + _:sk_494 http:resp _:sk_495. + _:sk_495 http:body _:sk_77. + _:sk_76 :rel10 _:sk_77. + :x :rel10 :y. + _:sk_74 :rel10 _:sk_75. + _:sk_76 :relGoal _:sk_77. +} + +_:gn_421 { + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_422 { + _:sk_496 http:methodName "GET". + _:sk_496 http:requestURI _:sk_76. + _:sk_496 http:resp _:sk_497. + _:sk_497 http:body _:sk_77. + _:sk_76 :rel10 _:sk_77. + :x :rel10 :y. + _:sk_76 :rel10 _:sk_77. + _:sk_76 :relGoal _:sk_77. +} + +_:gn_423 { + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. + :x :rel9 :y. +} + +_:gn_424 { + _:sk_498 http:methodName "GET". + _:sk_498 http:requestURI _:sk_76. + _:sk_498 http:resp _:sk_499. + _:sk_499 http:body _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_74 :rel10 _:sk_75. + :x :rel10 :y. + _:sk_76 :relGoal _:sk_77. +} + +_:gn_425 { + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_426 { + _:sk_500 http:methodName "GET". + _:sk_500 http:requestURI _:sk_76. + _:sk_500 http:resp _:sk_501. + _:sk_501 http:body _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_74 :rel10 _:sk_75. + _:sk_74 :rel10 _:sk_75. + _:sk_76 :relGoal _:sk_77. +} + +_:gn_427 { + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_428 { + _:sk_502 http:methodName "GET". + _:sk_502 http:requestURI _:sk_76. + _:sk_502 http:resp _:sk_503. + _:sk_503 http:body _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_74 :rel10 _:sk_75. + _:sk_76 :rel10 _:sk_77. + _:sk_76 :relGoal _:sk_77. +} + +_:gn_429 { + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. + :x :rel9 :y. +} + +_:gn_430 { + _:sk_504 http:methodName "GET". + _:sk_504 http:requestURI _:sk_76. + _:sk_504 http:resp _:sk_505. + _:sk_505 http:body _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_76 :rel10 _:sk_77. + :x :rel10 :y. + _:sk_76 :relGoal _:sk_77. +} + +_:gn_431 { + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_74 :rel9 _:sk_75. +} + +_:gn_432 { + _:sk_506 http:methodName "GET". + _:sk_506 http:requestURI _:sk_76. + _:sk_506 http:resp _:sk_507. + _:sk_507 http:body _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_74 :rel10 _:sk_75. + _:sk_76 :relGoal _:sk_77. +} + +_:gn_433 { + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. + _:sk_76 :rel9 _:sk_77. +} + +_:gn_434 { + _:sk_508 http:methodName "GET". + _:sk_508 http:requestURI _:sk_76. + _:sk_508 http:resp _:sk_509. + _:sk_509 http:body _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_76 :rel10 _:sk_77. + _:sk_76 :relGoal _:sk_77. +} diff --git a/lingua/output/slide32.trig b/lingua/output/slide32.trig index 820054b..660841f 100644 --- a/lingua/output/slide32.trig +++ b/lingua/output/slide32.trig @@ -1,3 +1,28 @@ @prefix : . +@prefix lingua: . :Ghent a :HumanCommunity. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:node_5_1. +_:gn_1 lingua:explanation _:gn_2. +true lingua:explanation _:node_5_1. + +_:node_5_1 { + :Ghent a :HumanCommunity. +} + +_:gn_1 { + :Ghent a :City. +} + +_:gn_2 { + () lingua:nand _:gn_3. +} + +_:gn_3 { + () lingua:nand _:node_5_1. +} diff --git a/lingua/output/slide33.trig b/lingua/output/slide33.trig index 16f3c6b..e45e89b 100644 --- a/lingua/output/slide33.trig +++ b/lingua/output/slide33.trig @@ -1,3 +1,486 @@ @prefix : . +@prefix lingua: . +@prefix owl: . :xxx a :aaa. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:gn_2. +_:gn_1 lingua:explanation _:gn_3. +_:gn_4 lingua:explanation _:node_23_1. +_:gn_1 lingua:explanation _:gn_5. +_:gn_6 lingua:explanation _:gn_7. +_:gn_6 lingua:explanation _:gn_8. +_:gn_6 lingua:explanation _:gn_9. +_:gn_1 lingua:explanation true. +_:gn_6 lingua:explanation _:gn_10. +_:gn_6 lingua:explanation _:gn_11. +_:gn_6 lingua:explanation _:gn_12. +_:gn_6 lingua:explanation _:gn_13. +_:gn_14 lingua:explanation _:node_23_1. +_:gn_15 lingua:explanation _:gn_16. +_:gn_17 lingua:explanation _:node_23_1. +_:gn_14 lingua:explanation _:gn_18. +_:gn_15 lingua:explanation _:gn_19. +_:gn_15 lingua:explanation _:gn_20. +_:gn_15 lingua:explanation _:gn_21. +_:gn_22 lingua:explanation _:gn_23. +_:gn_24 lingua:explanation _:gn_25. +_:gn_15 lingua:explanation _:gn_26. +_:gn_15 lingua:explanation _:gn_27. +true lingua:explanation _:node_23_1. +true lingua:explanation _:gn_28. + +_:gn_55 { + _:sk_202 a :ccc. +} + +_:gn_56 { + _:sk_201 :bbb _:sk_202. + () lingua:nand _:gn_55. +} + +_:gn_57 { + _:sk_201 a :aaa. +} + +_:gn_58 { + _:sk_203 :bbb _:sk_204. + () lingua:nand _:gn_85. +} + +_:gn_59 { + _:sk_203 a :aaa. +} + +_:node_4_1 { + _:node_2_1 a :ccc. +} + +_:gn_60 { + _:sk_206 a :ccc. +} + +_:gn_61 { + (_:sk_208 _:sk_209) lingua:nand _:gn_86. + (_:sk_208) lingua:nand _:gn_87. +} + +_:gn_62 { + _:sk_212 a _:sk_210. +} + +_:gn_63 { + _:sk_214 :bbb _:sk_215. + () lingua:nand _:gn_88. +} + +_:gn_64 { + _:sk_214 a :aaa. +} + +_:gn_65 { + _:sk_294 :bbb _:sk_295. + () lingua:nand _:gn_89. +} + +_:gn_66 { + _:sk_294 a :aaa. +} + +_:gn_67 { + _:sk_297 a :aaa. +} + +_:gn_68 { + _:sk_301 a _:sk_299. +} + +_:gn_69 { + _:sk_393 a :aaa. +} + +_:gn_70 { + _:sk_407 a :ccc. +} + +_:gn_71 { + _:sk_406 :bbb _:sk_407. + () lingua:nand _:gn_70. +} + +_:gn_72 { + _:sk_406 a :aaa. +} + +_:node_23_1 { + :xxx a :aaa. +} + +_:gn_73 { + (_:sk_408 _:sk_409) lingua:nand _:gn_90. + (_:sk_408) lingua:nand _:gn_91. +} + +_:gn_74 { + _:sk_410 :bbb _:sk_411. + () lingua:nand _:gn_92. +} + +_:gn_75 { + _:sk_410 a :aaa. +} + +_:gn_76 { + _:sk_412 a :aaa. +} + +_:gn_77 { + () a _:sk_470. +} + +_:gn_78 { + () a _:sk_472. +} + +_:gn_79 { + _:sk_474 :bbb _:sk_475. + () lingua:nand _:gn_93. +} + +_:gn_80 { + _:sk_474 a :aaa. +} + +_:gn_81 { + _:sk_476 a :aaa. +} + +_:gn_82 { + _:sk_537 a :ccc. +} + +_:gn_83 { + _:sk_536 :bbb _:sk_537. + () lingua:nand _:gn_82. +} + +_:gn_84 { + _:sk_536 a :aaa. +} + +_:gn_1 { + :aaa owl:onProperty :bbb. + :aaa owl:allValuesFrom :ccc. +} + +_:gn_2 { + (_:sk_201 _:sk_202) lingua:nand _:gn_29. + (_:sk_201) lingua:nand _:gn_30. +} + +_:gn_3 { + (_:sk_203) lingua:nand _:gn_31. +} + +_:gn_4 { + :aaa owl:onProperty :bbb. + :aaa owl:allValuesFrom :ccc. + (_:node_2_1) lingua:nand _:gn_32. +} + +_:gn_5 { + (_:sk_205 _:sk_206) lingua:nand _:gn_33. +} + +_:gn_6 { + :aaa owl:onProperty :bbb. +} + +_:gn_7 { + (_:sk_207) lingua:nand _:gn_34. +} + +_:gn_8 { + (_:sk_210 _:sk_211 _:sk_212) lingua:nand _:gn_35. +} + +_:gn_9 { + (_:sk_213 _:sk_214) lingua:nand _:gn_36. +} + +_:gn_10 { + (_:sk_293 _:sk_294 _:sk_295 _:sk_294) lingua:nand _:gn_37. +} + +_:gn_11 { + (_:sk_296 _:sk_297 _:sk_298) lingua:nand _:gn_38. +} + +_:gn_12 { + (_:sk_299 _:sk_300 _:sk_300 _:sk_301) lingua:nand _:gn_39. +} + +_:gn_13 { + (_:sk_392 _:sk_393 _:sk_394 _:sk_393 _:sk_394) lingua:nand _:gn_40. +} + +_:gn_14 { + (_:node_2_1) lingua:nand _:gn_32. +} + +_:gn_15 { + :aaa owl:allValuesFrom :ccc. +} + +_:gn_16 { + (_:sk_406 _:sk_407) lingua:nand _:gn_41. + (_:sk_406) lingua:nand _:gn_42. +} + +_:gn_17 { + :aaa owl:allValuesFrom :ccc. + (_:node_2_1) lingua:nand _:gn_32. +} + +_:gn_18 { + () lingua:nand _:gn_43. +} + +_:gn_19 { + () lingua:nand _:gn_44. +} + +_:gn_20 { + (_:sk_410) lingua:nand _:gn_45. +} + +_:gn_21 { + (_:sk_412 _:sk_413) lingua:nand _:gn_46. +} + +_:gn_22 { + () lingua:nand _:gn_47. +} + +_:gn_23 { + (_:sk_470 _:sk_471) lingua:nand _:gn_48. +} + +_:gn_24 { + () lingua:nand _:gn_49. +} + +_:gn_25 { + (_:sk_472 _:sk_473) lingua:nand _:gn_50. +} + +_:gn_26 { + (_:sk_474 _:sk_475 _:sk_474) lingua:nand _:gn_51. +} + +_:gn_27 { + (_:sk_476 _:sk_477 _:sk_476 _:sk_477) lingua:nand _:gn_52. +} + +_:gn_28 { + (_:sk_536 _:sk_537) lingua:nand _:gn_53. + (_:sk_536) lingua:nand _:gn_54. +} + +_:gn_55 { + _:sk_202 a :ccc. +} + +_:gn_85 { + _:sk_204 a :ccc. +} + +_:gn_86 { + _:sk_208 a :aaa. + _:sk_208 :bbb _:sk_209. + () lingua:nand _:gn_94. +} + +_:gn_87 { + (_:sk_209) lingua:nand _:gn_95. + () lingua:nand _:gn_96. +} + +_:gn_88 { + _:sk_215 a _:sk_213. +} + +_:gn_89 { + _:sk_295 a _:sk_293. +} + +_:gn_70 { + _:sk_407 a :ccc. +} + +_:gn_90 { + _:sk_408 a :aaa. + _:sk_408 :bbb _:sk_409. + () lingua:nand _:gn_97. +} + +_:gn_91 { + (_:sk_409) lingua:nand _:gn_98. + () lingua:nand _:gn_99. +} + +_:gn_92 { + _:sk_411 a :ccc. +} + +_:gn_93 { + _:sk_475 a :ccc. +} + +_:gn_82 { + _:sk_537 a :ccc. +} + +_:gn_29 { + _:sk_201 a :aaa. + _:sk_201 :bbb _:sk_202. + () lingua:nand _:gn_55. +} + +_:gn_30 { + (_:sk_202) lingua:nand _:gn_56. + () lingua:nand _:gn_57. +} + +_:gn_31 { + (_:sk_204) lingua:nand _:gn_58. + () lingua:nand _:gn_59. +} + +_:gn_32 { + :xxx :bbb _:node_2_1. + () lingua:nand _:node_4_1. +} + +_:gn_33 { + _:sk_205 a :aaa. + _:sk_205 :bbb _:sk_206. + () lingua:nand _:gn_60. +} + +_:gn_34 { + :aaa owl:allValuesFrom _:sk_207. + () lingua:nand _:gn_61. +} + +_:gn_35 { + :aaa owl:allValuesFrom _:sk_210. + _:sk_211 a :aaa. + _:sk_211 :bbb _:sk_212. + () lingua:nand _:gn_62. +} + +_:gn_36 { + :aaa owl:allValuesFrom _:sk_213. + (_:sk_215) lingua:nand _:gn_63. + () lingua:nand _:gn_64. +} + +_:gn_37 { + :aaa owl:allValuesFrom _:sk_293. + (_:sk_295) lingua:nand _:gn_65. + () lingua:nand _:gn_66. +} + +_:gn_38 { + :aaa owl:allValuesFrom _:sk_296. + () lingua:nand _:gn_67. + _:sk_298 a _:sk_296. +} + +_:gn_39 { + :aaa owl:allValuesFrom _:sk_299. + _:sk_300 a :aaa. + _:sk_300 :bbb _:sk_301. + () lingua:nand _:gn_68. +} + +_:gn_40 { + :aaa owl:allValuesFrom _:sk_392. + () lingua:nand _:gn_69. + _:sk_394 a _:sk_392. +} + +_:gn_41 { + _:sk_406 a :aaa. + _:sk_406 :bbb _:sk_407. + () lingua:nand _:gn_70. +} + +_:gn_42 { + (_:sk_407) lingua:nand _:gn_71. + () lingua:nand _:gn_72. +} + +_:gn_43 { + () lingua:nand _:node_23_1. +} + +_:gn_44 { + () lingua:nand _:gn_73. +} + +_:gn_45 { + (_:sk_411) lingua:nand _:gn_74. + () lingua:nand _:gn_75. +} + +_:gn_46 { + () lingua:nand _:gn_76. + _:sk_413 a :ccc. +} + +_:gn_47 { + () lingua:nand _:node_23_1. +} + +_:gn_48 { + _:sk_470 owl:onProperty lingua:nand. + _:sk_470 owl:allValuesFrom _:sk_471. + () lingua:nand _:gn_77. +} + +_:gn_49 { + () lingua:nand _:gn_73. +} + +_:gn_50 { + _:sk_472 owl:onProperty lingua:nand. + _:sk_472 owl:allValuesFrom _:sk_473. + () lingua:nand _:gn_78. +} + +_:gn_51 { + (_:sk_475) lingua:nand _:gn_79. + () lingua:nand _:gn_80. +} + +_:gn_52 { + () lingua:nand _:gn_81. + _:sk_477 a :ccc. +} + +_:gn_53 { + _:sk_536 a :aaa. + _:sk_536 :bbb _:sk_537. + () lingua:nand _:gn_82. +} + +_:gn_54 { + (_:sk_537) lingua:nand _:gn_83. + () lingua:nand _:gn_84. +} diff --git a/lingua/output/socrates.trig b/lingua/output/socrates.trig index f7ac069..531c0ff 100644 --- a/lingua/output/socrates.trig +++ b/lingua/output/socrates.trig @@ -1,3 +1,20 @@ @prefix : . +@prefix lingua: . +@prefix rdfs: . :Socrates a :Mortal. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:gn_2. + +_:gn_1 { + :Human rdfs:subClassOf :Mortal. + :Socrates a :Human. +} + +_:gn_2 { + :Socrates a :Mortal. +} diff --git a/lingua/output/syllogism.trig b/lingua/output/syllogism.trig index 58068aa..da260e8 100644 --- a/lingua/output/syllogism.trig +++ b/lingua/output/syllogism.trig @@ -1,3 +1,255 @@ @prefix : . +@prefix lingua: . :test :is true. + +# ------------------ +# lingua explanation +# ------------------ + +_:gn_1 lingua:explanation _:gn_2. +_:gn_1 lingua:explanation _:gn_3. +_:gn_1 lingua:explanation _:gn_4. +_:gn_5 lingua:explanation _:gn_6. +_:gn_2 lingua:explanation _:gn_7. +_:gn_1 lingua:explanation _:gn_8. +_:gn_9 lingua:explanation _:gn_10. +_:gn_1 lingua:explanation _:gn_7. +_:gn_5 lingua:explanation _:gn_11. +_:gn_12 lingua:explanation _:node_19_1. +_:gn_6 lingua:explanation _:gn_11. +_:gn_11 lingua:explanation _:gn_13. +true lingua:explanation _:gn_14. +true lingua:explanation _:gn_15. +_:gn_14 lingua:explanation _:gn_16. +_:gn_17 lingua:explanation _:node_19_1. +_:gn_18 lingua:explanation _:node_19_1. +_:gn_19 lingua:explanation _:gn_20. +_:gn_1 lingua:explanation _:gn_21. +_:gn_22 lingua:explanation _:node_19_1. +_:gn_23 lingua:explanation _:node_19_1. +_:gn_24 lingua:explanation _:node_19_1. +_:gn_3 lingua:explanation _:gn_25. +_:gn_19 lingua:explanation _:gn_26. +_:gn_1 lingua:explanation _:gn_27. +_:gn_10 lingua:explanation _:node_19_1. +_:gn_9 lingua:explanation _:node_19_1. +true lingua:explanation _:node_19_1. +_:gn_10 lingua:explanation _:gn_28. +_:gn_9 lingua:explanation _:gn_28. + +_:gn_2 { + _:node_11_1 a :Mammal. +} + +_:gn_3 { + _:node_11_1 a :Feline. +} + +_:gn_41 { + _:sk_64 a :Christian. +} + +_:node_19_1 { + :test :is true. +} + +_:gn_42 { + _:sk_94 a :Christian. +} + +_:gn_43 { + _:sk_95 a :Christian. +} + +_:gn_44 { + _:sk_123 a :Christian. +} + +_:gn_45 { + _:sk_124 a :Christian. +} + +_:gn_46 { + _:sk_125 a :Christian. +} + +_:gn_1 { + _:node_11_1 a :Cat. +} + +_:gn_4 { + () lingua:nand _:gn_29. +} + +_:gn_5 { + :Tweety a :Bird. +} + +_:gn_6 { + () lingua:nand _:gn_30. +} + +_:gn_7 { + () lingua:nand _:gn_31. +} + +_:gn_8 { + () lingua:nand _:gn_32. +} + +_:gn_9 { + _:node_15_1 a :Muslim. +} + +_:gn_10 { + () lingua:nand _:node_18_1. +} + +_:gn_11 { + () lingua:nand _:node_17_1. +} + +_:gn_12 { + () lingua:nand _:node_17_1. + _:node_11_1 a :White. + _:node_11_1 a :Feline. + () lingua:nand _:node_18_1. +} + +_:gn_13 { + () lingua:nand _:gn_33. +} + +_:gn_14 { + _:sk_92 a :Mammal. +} + +_:gn_15 { + _:sk_93 a :Feline. +} + +_:gn_16 { + () lingua:nand _:gn_34. +} + +_:gn_17 { + _:node_11_1 a :White. + _:node_11_1 a :Feline. + () lingua:nand _:node_18_1. +} + +_:gn_18 { + _:node_11_1 a :Cat. + _:node_11_1 a :White. + () lingua:nand _:node_18_1. +} + +_:gn_19 { + _:node_11_1 a :White. +} + +_:gn_20 { + () lingua:nand _:gn_35. +} + +_:gn_21 { + () lingua:nand _:gn_36. +} + +_:gn_22 { + _:node_11_1 a :Feline. + () lingua:nand _:node_18_1. +} + +_:gn_23 { + _:node_11_1 a :White. + () lingua:nand _:node_18_1. +} + +_:gn_24 { + _:node_11_1 a :Cat. + () lingua:nand _:node_18_1. +} + +_:gn_25 { + () lingua:nand _:gn_37. +} + +_:gn_26 { + () lingua:nand _:gn_38. +} + +_:gn_27 { + () lingua:nand _:gn_39. +} + +_:gn_28 { + () lingua:nand _:gn_40. +} + +_:gn_29 { + () lingua:nand _:gn_2. +} + +_:gn_30 { + :Tweety a :Mammal. +} + +_:gn_31 { + _:node_11_1 a :Bird. +} + +_:gn_32 { + () lingua:nand _:gn_3. +} + +_:node_18_1 { + _:node_15_1 a :Christian. +} + +_:node_17_1 { + :Tweety a :Cat. +} + +_:gn_33 { + _:sk_63 a :White. + _:sk_63 a :Feline. + () lingua:nand _:gn_41. + () lingua:nand _:node_19_1. +} + +_:gn_34 { + _:sk_92 a :Bird. +} + +_:gn_35 { + _:node_11_1 a :Feline. + () lingua:nand _:gn_42. + () lingua:nand _:node_19_1. +} + +_:gn_36 { + _:node_11_1 a :White. + () lingua:nand _:gn_43. + () lingua:nand _:node_19_1. +} + +_:gn_37 { + () lingua:nand _:gn_44. + () lingua:nand _:node_19_1. +} + +_:gn_38 { + () lingua:nand _:gn_45. + () lingua:nand _:node_19_1. +} + +_:gn_39 { + () lingua:nand _:gn_46. + () lingua:nand _:node_19_1. +} + +_:gn_40 { + () lingua:nand _:node_19_1. +} diff --git a/lingua/output/union.trig b/lingua/output/union.trig index 9654a44..e20495a 100644 --- a/lingua/output/union.trig +++ b/lingua/output/union.trig @@ -1,6 +1,7 @@ @prefix : . :result :is _:gn_1. + _:gn_1 { :A :B :C. :A :X :C. diff --git a/see.pl b/see.pl index 16db626..40cef18 100644 --- a/see.pl +++ b/see.pl @@ -19,7 +19,7 @@ :- use_module(library(semweb/turtle)). :- catch(use_module(library(http/http_open)), _, true). -version_info('SEE v1.0.7 (2024-03-24)'). +version_info('SEE v1.1.0 (2024-03-25)'). help_info('Usage: see * * @@ -224,15 +224,15 @@ ''(A, B), findvars([A, B], V, alpha), list_to_set(V, U), - makevars([A, B, U], [Q, I, X], beta(U)) - ), ''(Q, I))), + makevars([A, B, U], [Q, I, X], beta(U)), + conj_append(I, answer('', Q, I), F) + ), ''(Q, F))), % create backward rules assertz(implies(( ''(B, A), findvars([A, B], V, alpha), list_to_set(V, U), makevars([A, B, U], [Q, I, X], beta(U)), - zip_list(U, X, W), C = ':-'(I, Q), copy_term_nat(C, CC), labelvars(CC, 0, _, avar), @@ -249,7 +249,6 @@ findvars([A, B], V, alpha), list_to_set(V, U), makevars([A, J, U], [Q, I, X], beta(U)), - zip_list(U, X, W), C = implies(Q, I), copy_term_nat(C, CC), labelvars(CC, 0, _, avar), @@ -658,13 +657,15 @@ w3, forall( retract(keep_ng(NG)), - ( wt(NG), + ( nl, + wt(NG), nl ) ), forall( retract(keep_ng(NG)), - ( wt(NG), + ( nl, + wt(NG), nl ) ), @@ -683,13 +684,15 @@ w3, forall( retract(keep_ng(NG)), - ( wt(NG), + ( nl, + wt(NG), nl ) ), forall( retract(keep_ng(NG)), - ( wt(NG), + ( nl, + wt(NG), nl ) ) @@ -856,6 +859,7 @@ nb_setval(pdepth, 0), nb_setval(cdepth, 0), ( answer(B1, B2, B3), + B1 \= '', relabel([B1, B2, B3], [C1, C2, C3]), djiti_answer(answer(C), answer(C1, C2, C3)), indent, @@ -870,6 +874,23 @@ nl, fail ; true + ), + ( answer('', _, _) + -> nl, + writeln('# ------------------'), + writeln('# lingua explanation'), + writeln('# ------------------'), + nl, + ( answer('', S, O), + indent, + wt(''(S, O)), + ws(''(S, O)), + write('.'), + nl, + fail + ; true + ) + ; true ). wt(X) :- @@ -3320,14 +3341,6 @@ string_codes(A, E), srlist(B, C, D). -zip_list([], [], []). -zip_list([A|B], [C|D], [[E,C]|F]) :- - ( atom_concat('avar', G, A) - -> atomic_list_concat([''], E) - ; E = A - ), - zip_list(B, D, F). - sum([], 0) :- !. sum([A|B], C) :- diff --git a/see.pvm b/see.pvm index e81ffed..062290b 100755 Binary files a/see.pvm and b/see.pvm differ