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.

( (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 --)
                                          (PRN (NP (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))

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_0014__represent,emb).
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_0014__represent,r_0131_0008__the_r_0131_0009__five_r_0131_0010__teeth,arg0).
arc(r_0131_0014__represent,r_0131_0015__the_r_0131_0016__reaction,arg1).
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,attrib).
arc(r_0131_0028__the_r_0131_0030__man,r_0131_0029__sinful,attrib).
arc(r_0131_0031__makes,r_0131_0024__the_r_0131_0025__five_r_0131_0026__excuses,inv_arg1).
arc(r_0131_0031__makes,r_0131_0028__the_r_0131_0030__man,arg0).
arc(r_0131_0031__makes,r_0131_0033__God,r_0131_0032__to__nim).
arc(r_0131_0035__is,r_0131_0001__Again,nim).
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,r_0131_0037__by_arg0).
arc(r_0131_0039__understanding,r_0131_0003__our,gen).
arc(r_0131_0039__understanding,r_0131_0044__not,emb).
arc(r_0131_0043__does_r_0131_0045__have,r_0131_0041__the_r_0131_0042__hedgehog,arg0).
arc(r_0131_0043__does_r_0131_0045__have,r_0131_0046__five_r_0131_0047__teeth,arg1).
arc(r_0131_0044__not,r_0131_0043__does_r_0131_0045__have,keep_scope).
arc(z_0131_5013,r_0131_0015__the_r_0131_0016__reaction,arg0).
arc(z_0131_5013,r_0131_0024__the_r_0131_0025__five_r_0131_0026__excuses,prd).

fof(formula,axiom,
    ? [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_0014__REPRESENT,R_0131_0004__BELIEF,R_0131_0039__UNDERSTANDING,R_0131_0035__IS_R_0131_0036__SUBVERTED,R_0131_0029__SINFUL,R_0131_0028__THE_R_0131_0030__MAN,R_0131_0033__GOD,R_0131_0031__MAKES,R_0131_0024__THE_R_0131_0025__FIVE_R_0131_0026__EXCUSES,Z_0131_5013] :
      ( 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_0029__sinful(R_0131_0029__SINFUL)
      & r_0131_0033__God(R_0131_0033__GOD)
      & z_0131_5013(Z_0131_5013)
      & has_prd(Z_0131_5013,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_0024__THE_R_0131_0025__FIVE_R_0131_0026__EXCUSES)
      & has_inv_arg1(R_0131_0024__THE_R_0131_0025__FIVE_R_0131_0026__EXCUSES,R_0131_0031__MAKES)
      & r_0131_0031__makes(R_0131_0031__MAKES)
      & has_r_0131_0032__to__nim(R_0131_0031__MAKES,R_0131_0033__GOD)
      & has_arg0(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_attrib(R_0131_0028__THE_R_0131_0030__MAN,R_0131_0029__SINFUL)
      & has_arg0(Z_0131_5013,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_attrib(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_r_0131_0037__by_arg0(R_0131_0035__IS_R_0131_0036__SUBVERTED,R_0131_0039__UNDERSTANDING)
      & r_0131_0039__understanding(R_0131_0039__UNDERSTANDING)
      & has_emb(R_0131_0039__UNDERSTANDING,R_0131_0044__NOT)
      & ~ ? [R_0131_0041__THE_R_0131_0042__HEDGEHOG,R_0131_0046__FIVE_R_0131_0047__TEETH,R_0131_0043__DOES_R_0131_0045__HAVE] :
            ( 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)
            & r_0131_0043__does_r_0131_0045__have(R_0131_0043__DOES_R_0131_0045__HAVE)
            & has_arg1(R_0131_0043__DOES_R_0131_0045__HAVE,R_0131_0046__FIVE_R_0131_0047__TEETH)
            & has_arg0(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_emb(R_0131_0004__BELIEF,R_0131_0014__REPRESENT)
      & r_0131_0014__represent(R_0131_0014__REPRESENT)
      & has_arg1(R_0131_0014__REPRESENT,R_0131_0015__THE_R_0131_0016__REACTION)
      & has_arg0(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_nim(R_0131_0035__IS_R_0131_0036__SUBVERTED,R_0131_0001__AGAIN) ) ).