TSPC 29_a_wilde_2

29_a_wilde_2_1888
“This is a delightful spot,” he said, “we must ask the Hail on a visit.”

arc(r_0029_0003__is, r_0029_0002__This, arg0).
arc(r_0029_0003__is, r_0029_0004__a_r_0029_0006__spot, prd).
arc(r_0029_0004__a_r_0029_0006__spot, r_0029_0005__delightful, attrib14).
arc(r_0029_0014__must, r_0029_0015__ask, scope).
arc(r_0029_0015__ask, r_0029_0013__we, arg0).
arc(r_0029_0015__ask, r_0029_0016__the_r_0029_0017__Hail, arg1).
arc(r_0029_0015__ask, r_0029_0019__a_r_0029_0020__visit, prd).
arc(z_000_29_a_wilde_2_1888_4, r_0029_0003__is, conj1).
arc(z_000_29_a_wilde_2_1888_4, r_0029_0014__must, conj2).

fof(formula,axiom,
    ? [R_0029_0002__THIS,R_0029_0005__DELIGHTFUL,R_0029_0004__A_R_0029_0006__SPOT,R_0029_0003__IS,R_0029_0013__WE,R_0029_0016__THE_R_0029_0017__HAIL,R_0029_0019__A_R_0029_0020__VISIT,R_0029_0014__MUST_R_0029_0015__ASK,Z_000_29_A_WILDE_2_1888_4] :
      ( r_0029_0002__This(R_0029_0002__THIS)
      & r_0029_0005__delightful(R_0029_0005__DELIGHTFUL)
      & r_0029_0013__we(R_0029_0013__WE)
      & r_0029_0016__the_r_0029_0017__Hail(R_0029_0016__THE_R_0029_0017__HAIL)
      & r_0029_0019__a_r_0029_0020__visit(R_0029_0019__A_R_0029_0020__VISIT)
      & z_000_29_a_wilde_2_1888_4(Z_000_29_A_WILDE_2_1888_4)
      & has_conj2(Z_000_29_A_WILDE_2_1888_4,R_0029_0014__MUST_R_0029_0015__ASK)
      & r_0029_0014__must_r_0029_0015__ask(R_0029_0014__MUST_R_0029_0015__ASK)
      & has_prd(R_0029_0014__MUST_R_0029_0015__ASK,R_0029_0019__A_R_0029_0020__VISIT)
      & has_arg1(R_0029_0014__MUST_R_0029_0015__ASK,R_0029_0016__THE_R_0029_0017__HAIL)
      & has_arg0(R_0029_0014__MUST_R_0029_0015__ASK,R_0029_0013__WE)
      & has_conj1(Z_000_29_A_WILDE_2_1888_4,R_0029_0003__IS)
      & r_0029_0003__is(R_0029_0003__IS)
      & has_prd(R_0029_0003__IS,R_0029_0004__A_R_0029_0006__SPOT)
      & r_0029_0004__a_r_0029_0006__spot(R_0029_0004__A_R_0029_0006__SPOT)
      & has_attrib14(R_0029_0004__A_R_0029_0006__SPOT,R_0029_0005__DELIGHTFUL)
      & has_arg0(R_0029_0003__IS,R_0029_0002__THIS) ) ).

( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ (D;_nphd_ This;{this}))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (D a;{a})
                              (ADJP (ADJ delightful;{delightful}))
                              (N spot;{spot}))
                      (PUNC ,)
                      (PURQ <rdquo>)
                      (PRN (IP-MAT (NP-SBJ;{NORTH_WIND} (PRO he;{he}))
                                   (VBD;_Tr_ said;{say}))))
                (PUNC ,)
                (PULQ <ldquo>)
                (CONJP (ILYR (NP-SBJ;{SNOW_FROST_NORTH_WIND} (PRO we;{we}))
                             (MD;_cat_Vi_ must;{must})
                             (IP-INF-CAT (VB;__ ask;{ask})
                                         (NP-OB1;{HAIL} (D the;{the})
                                                        (N Hail;{hail}))
                                         (PP-PRD (P-ROLE on;{on})
                                                 (NP (D a;{a})
                                                     (N visit;{visit})))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 29_a_wilde_2_1888))