TSPC 131_a_hedgehog

131_a_hedgehog
Again, our belief in Britain that the five teeth of the hedgehog represent the reaction of the sinful man to God -- the five excuses that the sinful man makes to God -- is subverted by our understanding that the hedgehog does not have five teeth.

arc(r_0131_0004__belief, r_0131_0003__our, gen).
arc(r_0131_0004__belief, r_0131_0006__Britain, r_0131_0005__in).
arc(r_0131_0004__belief, r_0131_0007__that_r_0131_0014__represent, emb20).
arc(r_0131_0007__that_r_0131_0014__represent, r_0131_0008__the_r_0131_0009__five_r_0131_0010__teeth, arg0).
arc(r_0131_0007__that_r_0131_0014__represent, r_0131_0015__the_r_0131_0016__reaction, arg1).
arc(r_0131_0008__the_r_0131_0009__five_r_0131_0010__teeth, r_0131_0012__the_r_0131_0013__hedgehog, r_0131_0011__of).
arc(r_0131_0015__the_r_0131_0016__reaction, r_0131_0018__the_r_0131_0020__man, r_0131_0017__of).
arc(r_0131_0015__the_r_0131_0016__reaction, r_0131_0022__God, r_0131_0021__to).
arc(r_0131_0018__the_r_0131_0020__man, r_0131_0019__sinful, attrib51).
arc(r_0131_0027__that_r_0131_0031__makes, r_0131_0024__the_r_0131_0025__five_r_0131_0026__excuses, arg1).
arc(r_0131_0027__that_r_0131_0031__makes, r_0131_0028__the_r_0131_0030__man, arg0).
arc(r_0131_0027__that_r_0131_0031__makes, r_0131_0033__God, r_0131_0032__to_nim90).
arc(r_0131_0028__the_r_0131_0030__man, r_0131_0029__sinful, attrib80).
arc(r_0131_0035__is, r_0131_0001__Again, nim2).
arc(r_0131_0035__is, r_0131_0036__subverted, scope).
arc(r_0131_0036__subverted, r_0131_0004__belief, arg1).
arc(r_0131_0036__subverted, r_0131_0039__understanding, arg0).
arc(r_0131_0039__understanding, r_0131_0003__our, gen).
arc(r_0131_0039__understanding, r_0131_0040__that_r_0131_0043__does_r_0131_0045__have, emb110).
arc(r_0131_0039__understanding, r_0131_0044__not, emb110).
arc(r_0131_0040__that_r_0131_0043__does_r_0131_0045__have, r_0131_0041__the_r_0131_0042__hedgehog, arg0).
arc(r_0131_0040__that_r_0131_0043__does_r_0131_0045__have, r_0131_0046__five_r_0131_0047__teeth, arg1).
arc(r_0131_0044__not, r_0131_0040__that_r_0131_0043__does_r_0131_0045__have, keep_scope).
arc(z_000_131_a_hedgehog_64, r_0131_0015__the_r_0131_0016__reaction, arg0).
arc(z_000_131_a_hedgehog_64, r_0131_0024__the_r_0131_0025__five_r_0131_0026__excuses, prd).

fof(formula,axiom,
    ? [R_0131_0024__THE_R_0131_0025__FIVE_R_0131_0026__EXCUSES,R_0131_0029__SINFUL,R_0131_0028__THE_R_0131_0030__MAN,R_0131_0033__GOD,R_0131_0027__THAT_R_0131_0031__MAKES,R_0131_0001__AGAIN,R_0131_0003__OUR,R_0131_0006__BRITAIN,R_0131_0012__THE_R_0131_0013__HEDGEHOG,R_0131_0008__THE_R_0131_0009__FIVE_R_0131_0010__TEETH,R_0131_0019__SINFUL,R_0131_0018__THE_R_0131_0020__MAN,R_0131_0022__GOD,R_0131_0015__THE_R_0131_0016__REACTION,R_0131_0007__THAT_R_0131_0014__REPRESENT,R_0131_0004__BELIEF,R_0131_0041__THE_R_0131_0042__HEDGEHOG,R_0131_0046__FIVE_R_0131_0047__TEETH,R_0131_0040__THAT_R_0131_0043__DOES_R_0131_0045__HAVE,R_0131_0039__UNDERSTANDING,R_0131_0035__IS_R_0131_0036__SUBVERTED,Z_000_131_A_HEDGEHOG_64] :
      ( r_0131_0001__Again(R_0131_0001__AGAIN)
      & r_0131_0003__our(R_0131_0003__OUR)
      & r_0131_0006__Britain(R_0131_0006__BRITAIN)
      & r_0131_0012__the_r_0131_0013__hedgehog(R_0131_0012__THE_R_0131_0013__HEDGEHOG)
      & r_0131_0019__sinful(R_0131_0019__SINFUL)
      & r_0131_0022__God(R_0131_0022__GOD)
      & r_0131_0024__the_r_0131_0025__five_r_0131_0026__excuses(R_0131_0024__THE_R_0131_0025__FIVE_R_0131_0026__EXCUSES)
      & r_0131_0029__sinful(R_0131_0029__SINFUL)
      & r_0131_0033__God(R_0131_0033__GOD)
      & r_0131_0041__the_r_0131_0042__hedgehog(R_0131_0041__THE_R_0131_0042__HEDGEHOG)
      & r_0131_0046__five_r_0131_0047__teeth(R_0131_0046__FIVE_R_0131_0047__TEETH)
      & z_000_131_a_hedgehog_64(Z_000_131_A_HEDGEHOG_64)
      & has_prd(Z_000_131_A_HEDGEHOG_64,R_0131_0024__THE_R_0131_0025__FIVE_R_0131_0026__EXCUSES)
      & has_arg0(Z_000_131_A_HEDGEHOG_64,R_0131_0015__THE_R_0131_0016__REACTION)
      & r_0131_0015__the_r_0131_0016__reaction(R_0131_0015__THE_R_0131_0016__REACTION)
      & has_r_0131_0021__to(R_0131_0015__THE_R_0131_0016__REACTION,R_0131_0022__GOD)
      & has_r_0131_0017__of(R_0131_0015__THE_R_0131_0016__REACTION,R_0131_0018__THE_R_0131_0020__MAN)
      & r_0131_0018__the_r_0131_0020__man(R_0131_0018__THE_R_0131_0020__MAN)
      & has_attrib51(R_0131_0018__THE_R_0131_0020__MAN,R_0131_0019__SINFUL)
      & r_0131_0035__is_r_0131_0036__subverted(R_0131_0035__IS_R_0131_0036__SUBVERTED)
      & has_arg0(R_0131_0035__IS_R_0131_0036__SUBVERTED,R_0131_0039__UNDERSTANDING)
      & r_0131_0039__understanding(R_0131_0039__UNDERSTANDING)
      & has_emb110(R_0131_0039__UNDERSTANDING,R_0131_0044__NOT)
      & ~ r_0131_0040__that_r_0131_0043__does_r_0131_0045__have(R_0131_0040__THAT_R_0131_0043__DOES_R_0131_0045__HAVE)
      & has_emb110(R_0131_0039__UNDERSTANDING,R_0131_0040__THAT_R_0131_0043__DOES_R_0131_0045__HAVE)
      & r_0131_0040__that_r_0131_0043__does_r_0131_0045__have(R_0131_0040__THAT_R_0131_0043__DOES_R_0131_0045__HAVE)
      & has_arg1(R_0131_0040__THAT_R_0131_0043__DOES_R_0131_0045__HAVE,R_0131_0046__FIVE_R_0131_0047__TEETH)
      & has_arg0(R_0131_0040__THAT_R_0131_0043__DOES_R_0131_0045__HAVE,R_0131_0041__THE_R_0131_0042__HEDGEHOG)
      & has_gen(R_0131_0039__UNDERSTANDING,R_0131_0003__OUR)
      & has_arg1(R_0131_0035__IS_R_0131_0036__SUBVERTED,R_0131_0004__BELIEF)
      & r_0131_0004__belief(R_0131_0004__BELIEF)
      & has_emb20(R_0131_0004__BELIEF,R_0131_0007__THAT_R_0131_0014__REPRESENT)
      & r_0131_0007__that_r_0131_0014__represent(R_0131_0007__THAT_R_0131_0014__REPRESENT)
      & has_arg1(R_0131_0007__THAT_R_0131_0014__REPRESENT,R_0131_0015__THE_R_0131_0016__REACTION)
      & has_arg0(R_0131_0007__THAT_R_0131_0014__REPRESENT,R_0131_0008__THE_R_0131_0009__FIVE_R_0131_0010__TEETH)
      & r_0131_0008__the_r_0131_0009__five_r_0131_0010__teeth(R_0131_0008__THE_R_0131_0009__FIVE_R_0131_0010__TEETH)
      & has_r_0131_0011__of(R_0131_0008__THE_R_0131_0009__FIVE_R_0131_0010__TEETH,R_0131_0012__THE_R_0131_0013__HEDGEHOG)
      & has_r_0131_0005__in(R_0131_0004__BELIEF,R_0131_0006__BRITAIN)
      & has_gen(R_0131_0004__BELIEF,R_0131_0003__OUR)
      & has_nim2(R_0131_0035__IS_R_0131_0036__SUBVERTED,R_0131_0001__AGAIN)
      & r_0131_0027__that_r_0131_0031__makes(R_0131_0027__THAT_R_0131_0031__MAKES)
      & has_r_0131_0032__to_nim90(R_0131_0027__THAT_R_0131_0031__MAKES,R_0131_0033__GOD)
      & has_arg0(R_0131_0027__THAT_R_0131_0031__MAKES,R_0131_0028__THE_R_0131_0030__MAN)
      & r_0131_0028__the_r_0131_0030__man(R_0131_0028__THE_R_0131_0030__MAN)
      & has_attrib80(R_0131_0028__THE_R_0131_0030__MAN,R_0131_0029__SINFUL)
      & has_arg1(R_0131_0027__THAT_R_0131_0031__MAKES,R_0131_0024__THE_R_0131_0025__FIVE_R_0131_0026__EXCUSES) ) ).

( (IP-MAT (ADVP-NIM (ADV Again;{again}))
          (PUNC ,)
          (NP-SBJ (NP-GEN (PRO;_genm_ our;{our}))
                  (N belief;{belief})
                  (PP (P-ROLE in;{in})
                      (NP;{COUNTRY} (NPR Britain;{Britain})))
                  (CP-THT (IP-SUB (C that;{that})
                                  (NP-SBJ (D the;{the})
                                          (NUM five;{five})
                                          (NS teeth;{teeth})
                                          (PP (P-ROLE of;{of})
                                              (NP (D the;{the})
                                                  (N hedgehog;{hedgehog}))))
                                  (VBP;_Tn_ represent;{represent})
                                  (NP-OB1 (D the;{the})
                                          (N reaction;{reaction})
                                          (PP (P-ROLE of;{of})
                                              (NP (D the;{the})
                                                  (ADJP (ADJ sinful;{sinful}))
                                                  (N man;{man})))
                                          (PP (P-ROLE to;{to})
                                              (NP (NPR God;{God})))
                                          (PUNC --)
                                          (IP-PPL (NP-PRD (D the;{the})
                                                          (NUM five;{five})
                                                          (NS excuses;{excuse})
                                                          (IP-REL (C that;{that})
                                                                  (NP-OB1 *T*)
                                                                  (NP-SBJ (D the;{the})
                                                                          (ADJP (ADJ sinful;{sinful}))
                                                                          (N man;{man}))
                                                                  (VBP;_Tn_ makes;{make})
                                                                  (PP-NIM (P-ROLE to;{to})
                                                                          (NP (NPR God;{God}))))))
                                          (PUNC --)))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (VVN;_Tn_ subverted;{subvert})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NP-GEN (PRO;_genm_ our;{our}))
                                  (N understanding;{understanding})
                                  (CP-THT (IP-SUB (C that;{that})
                                                  (NP-SBJ (D the;{the})
                                                          (N hedgehog;{hedgehog}))
                                                  (DOP does;{do})
                                                  (NEG not;{not})
                                                  (HV;_Tn_ have;{have})
                                                  (NP-OB1 (NUM five;{five})
                                                          (NS teeth;{teeth})))))))
          (PUNC .))
  (ID 131_a_hedgehog;speaker=Stewart))