TSPC 9_a_wilde_2

9_a_wilde_2_1888
After the seven years were over he had said all that he had to say, for his conversation was limited, and he determined to return to his own castle.

arc(r_0009_0001__After, r_0009_0005__were, restriction).
arc(r_0009_0001__After, r_0009_0017__for, scope).
arc(r_0009_0005__were, r_0009_0002__the_r_0009_0003__seven_r_0009_0004__years, arg0).
arc(r_0009_0005__were, r_0009_0006__over, clr17).
arc(r_0009_0008__had, r_0009_0010__all_quant, scope).
arc(r_0009_0009__said, r_0009_0007__he, arg0).
arc(r_0009_0009__said, z_000_9_a_wilde_2_1888_28, arg1).
arc(r_0009_0010__all_quant, r_0009_0009__said, scope).
arc(r_0009_0010__all_quant, z_000_9_a_wilde_2_1888_28, restriction).
arc(r_0009_0011__that_r_0009_0013__had, r_0009_0014__to_r_0009_0015__say, scope).
arc(r_0009_0014__to_r_0009_0015__say, r_0009_0007__he, arg0).
arc(r_0009_0014__to_r_0009_0015__say, z_000_9_a_wilde_2_1888_28, arg1).
arc(r_0009_0017__for, r_0009_0008__had, scope).
arc(r_0009_0017__for, r_0009_0020__was, restriction).
arc(r_0009_0019__conversation, r_0009_0007__he, gen).
arc(r_0009_0020__was, r_0009_0019__conversation, arg0).
arc(r_0009_0020__was, r_0009_0021__limited, prd).
arc(r_0009_0023__and, r_0009_0001__After, conj1).
arc(r_0009_0023__and, r_0009_0025__determined, conj2).
arc(r_0009_0025__determined, r_0009_0024__he, arg0).
arc(r_0009_0025__determined, r_0009_0026__to_r_0009_0027__return, arg1).
arc(r_0009_0026__to_r_0009_0027__return, r_0009_0024__he, arg0).
arc(r_0009_0026__to_r_0009_0027__return, r_0009_0031__castle, r_0009_0028__to_clr82).
arc(r_0009_0031__castle, z_000_9_a_wilde_2_1888_83, gen).
arc(z_000_9_a_wilde_2_1888_83, r_0009_0024__he, gen).
arc(z_000_9_a_wilde_2_1888_83, r_0009_0030__own, attrib87).

fof(formula,axiom,
    ? [R_9_23_AND,R_9_1_AFTER,R_9_5_WERE,R_9_2_THE_SEVEN_YEARS,R_9_6_OVER,R_9_17_FOR,R_9_20_WAS,R_9_19_CONVERSATION,R_9_7_HE,R_9_21_LIMITED,R_9_25_DETERMINED,R_9_26_TO_RETURN,R_9_31_CASTLE,Z_9_A_WILDE_2_1888_83,R_9_30_OWN,R_9_24_HE] :
      ( the_seven_years(R_9_2_THE_SEVEN_YEARS)
      & over(R_9_6_OVER)
      & he(R_9_7_HE)
      & limited(R_9_21_LIMITED)
      & own(R_9_30_OWN)
      & he(R_9_24_HE)
      & and(R_9_23_AND)
      & conj1(R_9_23_AND,R_9_1_AFTER)
      & after(R_9_1_AFTER)
      & conj1(R_9_1_AFTER,R_9_5_WERE)
      & were(R_9_5_WERE,R_9_2_THE_SEVEN_YEARS)
      & clr17(R_9_5_WERE,R_9_6_OVER)
      & conj2(R_9_1_AFTER,R_9_17_FOR)
      & for(R_9_17_FOR)
      & conj1(R_9_17_FOR,R_9_20_WAS)
      & was(R_9_20_WAS,R_9_19_CONVERSATION,R_9_21_LIMITED)
      & conversation(R_9_19_CONVERSATION)
      & gen(R_9_19_CONVERSATION,R_9_7_HE)
      & conj2(R_9_17_FOR,R_9_8_HAD)
      & ~ ! [R_9_11_THAT_HAD_TO_SAY,Z_9_A_WILDE_2_1888_28] :
            ( that_had_to_say(R_9_11_THAT_HAD_TO_SAY,R_9_7_HE,Z_9_A_WILDE_2_1888_28)
           => ? [R_9_9_SAID] : said(R_9_9_SAID,R_9_7_HE,Z_9_A_WILDE_2_1888_28) )
      & conj2(R_9_23_AND,R_9_25_DETERMINED)
      & determined(R_9_25_DETERMINED,R_9_24_HE,R_9_26_TO_RETURN)
      & to_return(R_9_26_TO_RETURN,R_9_24_HE)
      & to_clr82(R_9_26_TO_RETURN,R_9_31_CASTLE)
      & castle(R_9_31_CASTLE)
      & gen(R_9_31_CASTLE,Z_9_A_WILDE_2_1888_83)
      & z_9_a_wilde_2_1888_83(Z_9_A_WILDE_2_1888_83)
      & attrib87(Z_9_A_WILDE_2_1888_83,R_9_30_OWN)
      & gen(Z_9_A_WILDE_2_1888_83,R_9_24_HE) ) ).

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN After;{after})
                               (IP-ADV (NP-SBJ (D the;{the})
                                               (NUM seven;{seven})
                                               (NS years;{year}))
                                       (BED;_Ip_ were;{be[over]})
                                       (ADVP-CLR (RP over;{over}))))
                      (NP-SBJ;{GIANT} (PRO he;{he}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (VVN;_Tn_ said;{say})
                                  (NP-OB1 (Q;_nphd_ all;{all})
                                          (IP-REL (C that;{that})
                                                  (NP-SBJ;{GIANT} (PRO he;{he}))
                                                  (HVD;_cat_Vt_ had;{have})
                                                  (IP-INF-CAT (NP-OB1 *T*)
                                                              (TO to;{to})
                                                              (VB;_Tn_ say;{say})))))
                      (PUNC ,)
                      (PP-SCON (P-CONN for;{for})
                               (IP-ADV (NP-SBJ (NP-GEN;{GIANT} (PRO;_genm_ his;{his}))
                                               (N conversation;{conversation}))
                                       (BED;_La_ was;{be})
                                       (ADJP-PRD (ADJ limited;{limited})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{GIANT} (PRO he;{he}))
                             (VBD;_Tt_ determined;{determine})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_Ipr_ return;{return[to]})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (NP-GEN (NP-GEN;{GIANT} (PRO;_genm_ his;{his}))
                                                             (ADJP (ADJ own;{own})))
                                                     (N castle;{castle})))))))
          (PUNC .))
  (ID 9_a_wilde_2_1888))