TSPC 183_a_hedgehog

183_a_hedgehog
I refer, of course, to the lion, which is majestic, courageous and proud.

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Ipr_ refer;{refer[to]})
          (PUNC ,)
          (ADVP-NIM (ADV of_course;{of_course}))
          (PUNC ,)
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N lion;{lion})
                      (PUNC ,)
                      (IP-REL (NP-SBJ (RPRO which;{which}))
                              (BEP;_La_ is;{be})
                              (ADJP-PRD (AJLYR (AJLYR (ADJ majestic;{majestic}))
                                               (PUNC ,)
                                               (CONJP (AJLYR (ADJ courageous;{courageous})))
                                               (CONJP (CONJ and;{and})
                                                      (AJLYR (ADJ proud;{proud}))))))))
          (PUNC .))
  (ID 183_a_hedgehog;speaker=Stewart))

arc(r_0183_0002__refer_r_0183_0006__to,r_0183_0001__I,arg0).
arc(r_0183_0002__refer_r_0183_0006__to,r_0183_0004__of_course,nim).
arc(r_0183_0002__refer_r_0183_0006__to,r_0183_0007__the_r_0183_0008__lion,arg1).
arc(r_0183_0011__is,r_0183_0007__the_r_0183_0008__lion,arg0).
arc(r_0183_0011__is,r_0183_0015__and,prd).
arc(r_0183_0015__and,r_0183_0012__majestic,conj1).
arc(r_0183_0015__and,r_0183_0014__courageous,conj2).
arc(r_0183_0015__and,r_0183_0016__proud,conj3).

fof(formula,axiom,
    ? [R_0183_0001__I,R_0183_0004__OF_COURSE,R_0183_0007__THE_R_0183_0008__LION,R_0183_0002__REFER_R_0183_0006__TO,R_0183_0012__MAJESTIC,R_0183_0014__COURAGEOUS,R_0183_0016__PROUD,R_0183_0015__AND,R_0183_0011__IS] :
      ( r_0183_0001__I(R_0183_0001__I)
      & r_0183_0004__of_course(R_0183_0004__OF_COURSE)
      & r_0183_0007__the_r_0183_0008__lion(R_0183_0007__THE_R_0183_0008__LION)
      & r_0183_0012__majestic(R_0183_0012__MAJESTIC)
      & r_0183_0014__courageous(R_0183_0014__COURAGEOUS)
      & r_0183_0016__proud(R_0183_0016__PROUD)
      & r_0183_0011__is(R_0183_0011__IS)
      & has_prd(R_0183_0011__IS,R_0183_0015__AND)
      & r_0183_0015__and(R_0183_0015__AND)
      & has_conj3(R_0183_0015__AND,R_0183_0016__PROUD)
      & has_conj2(R_0183_0015__AND,R_0183_0014__COURAGEOUS)
      & has_conj1(R_0183_0015__AND,R_0183_0012__MAJESTIC)
      & has_arg0(R_0183_0011__IS,R_0183_0007__THE_R_0183_0008__LION)
      & r_0183_0002__refer_r_0183_0006__to(R_0183_0002__REFER_R_0183_0006__TO)
      & has_arg1(R_0183_0002__REFER_R_0183_0006__TO,R_0183_0007__THE_R_0183_0008__LION)
      & has_nim(R_0183_0002__REFER_R_0183_0006__TO,R_0183_0004__OF_COURSE)
      & has_arg0(R_0183_0002__REFER_R_0183_0006__TO,R_0183_0001__I) ) ).