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.

n9_a_wilde_2_1888 n9_a_wilde_2_1888__1_1_1_1_1_1 After n9_a_wilde_2_1888__1_1_1_1_2_1_1_1 the n9_a_wilde_2_1888__1_1_1_1_2_1_2_1 seven n9_a_wilde_2_1888__1_1_1_1_2_1_3_1 years n9_a_wilde_2_1888__1_1_1_1_2_2_1 were n9_a_wilde_2_1888__1_1_1_1_2_3_1_1 over n9_a_wilde_2_1888__1_1_1_2_1_1 he n9_a_wilde_2_1888__1_1_1_3_1 had n9_a_wilde_2_1888__1_1_1_4_1_1 said n9_a_wilde_2_1888__1_1_1_4_2_1_1 all n9_a_wilde_2_1888__1_1_1_4_2_2_1_1 that n9_a_wilde_2_1888__1_1_1_4_2_2_2_1_1 he n9_a_wilde_2_1888__1_1_1_4_2_2_3_1 had n9_a_wilde_2_1888__1_1_1_4_2_2_4_1_1 *T* n9_a_wilde_2_1888__1_1_1_4_2_2_4_2_1 to n9_a_wilde_2_1888__1_1_1_4_2_2_4_3_1 say n9_a_wilde_2_1888__1_1_1_5_1 , n9_a_wilde_2_1888__1_1_1_6_1_1 for n9_a_wilde_2_1888__1_1_1_6_2_1_1_1_1 his n9_a_wilde_2_1888__1_1_1_6_2_1_2_1 conversation n9_a_wilde_2_1888__1_1_1_6_2_2_1 was n9_a_wilde_2_1888__1_1_1_6_2_3_1_1 limited n9_a_wilde_2_1888__1_1_2_1 , n9_a_wilde_2_1888__1_1_3_1_1 and n9_a_wilde_2_1888__1_1_3_2_1_1_1 he n9_a_wilde_2_1888__1_1_3_2_2_1 determined n9_a_wilde_2_1888__1_1_3_2_3_1_1 to n9_a_wilde_2_1888__1_1_3_2_3_2_1 return n9_a_wilde_2_1888__1_1_3_2_3_3_1_1 to n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_1_1_1 his n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_2_1_1 own n9_a_wilde_2_1888__1_1_3_2_3_3_2_2_1 castle n9_a_wilde_2_1888__1_2_1 . n9_a_wilde_2_1888__1 IP-MAT n9_a_wilde_2_1888__1_1 ILYR n9_a_wilde_2_1888__1->n9_a_wilde_2_1888__1_1 n9_a_wilde_2_1888__1_2 PUNC n9_a_wilde_2_1888__1->n9_a_wilde_2_1888__1_2 n9_a_wilde_2_1888__1_1_1 ILYR n9_a_wilde_2_1888__1_1->n9_a_wilde_2_1888__1_1_1 n9_a_wilde_2_1888__1_1_2 PUNC n9_a_wilde_2_1888__1_1->n9_a_wilde_2_1888__1_1_2 n9_a_wilde_2_1888__1_1_3 CONJP n9_a_wilde_2_1888__1_1->n9_a_wilde_2_1888__1_1_3 n9_a_wilde_2_1888__1_1_1_1 PP-SCON n9_a_wilde_2_1888__1_1_1->n9_a_wilde_2_1888__1_1_1_1 n9_a_wilde_2_1888__1_1_1_2 NP-SBJ n9_a_wilde_2_1888__1_1_1->n9_a_wilde_2_1888__1_1_1_2 n9_a_wilde_2_1888__1_1_1_3 HVD;_cat_Ve_ n9_a_wilde_2_1888__1_1_1->n9_a_wilde_2_1888__1_1_1_3 n9_a_wilde_2_1888__1_1_1_4 IP-PPL-CAT n9_a_wilde_2_1888__1_1_1->n9_a_wilde_2_1888__1_1_1_4 n9_a_wilde_2_1888__1_1_1_5 PUNC n9_a_wilde_2_1888__1_1_1->n9_a_wilde_2_1888__1_1_1_5 n9_a_wilde_2_1888__1_1_1_6 PP-SCON n9_a_wilde_2_1888__1_1_1->n9_a_wilde_2_1888__1_1_1_6 n9_a_wilde_2_1888__1_1_1_1_1 P-CONN n9_a_wilde_2_1888__1_1_1_1->n9_a_wilde_2_1888__1_1_1_1_1 n9_a_wilde_2_1888__1_1_1_1_2 IP-ADV n9_a_wilde_2_1888__1_1_1_1->n9_a_wilde_2_1888__1_1_1_1_2 n9_a_wilde_2_1888__1_1_1_1_1->n9_a_wilde_2_1888__1_1_1_1_1_1 n9_a_wilde_2_1888__1_1_1_1_2_1 NP-SBJ n9_a_wilde_2_1888__1_1_1_1_2->n9_a_wilde_2_1888__1_1_1_1_2_1 n9_a_wilde_2_1888__1_1_1_1_2_2 BED;__ n9_a_wilde_2_1888__1_1_1_1_2->n9_a_wilde_2_1888__1_1_1_1_2_2 n9_a_wilde_2_1888__1_1_1_1_2_3 ADVP-CLR n9_a_wilde_2_1888__1_1_1_1_2->n9_a_wilde_2_1888__1_1_1_1_2_3 n9_a_wilde_2_1888__1_1_1_1_2_1_1 D n9_a_wilde_2_1888__1_1_1_1_2_1->n9_a_wilde_2_1888__1_1_1_1_2_1_1 n9_a_wilde_2_1888__1_1_1_1_2_1_2 NUM n9_a_wilde_2_1888__1_1_1_1_2_1->n9_a_wilde_2_1888__1_1_1_1_2_1_2 n9_a_wilde_2_1888__1_1_1_1_2_1_3 NS n9_a_wilde_2_1888__1_1_1_1_2_1->n9_a_wilde_2_1888__1_1_1_1_2_1_3 n9_a_wilde_2_1888__1_1_1_1_2_1_1->n9_a_wilde_2_1888__1_1_1_1_2_1_1_1 n9_a_wilde_2_1888__1_1_1_1_2_1_2->n9_a_wilde_2_1888__1_1_1_1_2_1_2_1 n9_a_wilde_2_1888__1_1_1_1_2_1_3->n9_a_wilde_2_1888__1_1_1_1_2_1_3_1 n9_a_wilde_2_1888__1_1_1_1_2_2->n9_a_wilde_2_1888__1_1_1_1_2_2_1 n9_a_wilde_2_1888__1_1_1_1_2_3_1 RP n9_a_wilde_2_1888__1_1_1_1_2_3->n9_a_wilde_2_1888__1_1_1_1_2_3_1 n9_a_wilde_2_1888__1_1_1_1_2_3_1->n9_a_wilde_2_1888__1_1_1_1_2_3_1_1 n9_a_wilde_2_1888__1_1_1_2_1 PRO n9_a_wilde_2_1888__1_1_1_2->n9_a_wilde_2_1888__1_1_1_2_1 n9_a_wilde_2_1888__1_1_1_2_1->n9_a_wilde_2_1888__1_1_1_2_1_1 n9_a_wilde_2_1888__1_1_1_3->n9_a_wilde_2_1888__1_1_1_3_1 n9_a_wilde_2_1888__1_1_1_4_1 VVN;_Tn_ n9_a_wilde_2_1888__1_1_1_4->n9_a_wilde_2_1888__1_1_1_4_1 n9_a_wilde_2_1888__1_1_1_4_2 NP-OB1 n9_a_wilde_2_1888__1_1_1_4->n9_a_wilde_2_1888__1_1_1_4_2 n9_a_wilde_2_1888__1_1_1_4_1->n9_a_wilde_2_1888__1_1_1_4_1_1 n9_a_wilde_2_1888__1_1_1_4_2_1 Q;_nphd_ n9_a_wilde_2_1888__1_1_1_4_2->n9_a_wilde_2_1888__1_1_1_4_2_1 n9_a_wilde_2_1888__1_1_1_4_2_2 IP-REL n9_a_wilde_2_1888__1_1_1_4_2->n9_a_wilde_2_1888__1_1_1_4_2_2 n9_a_wilde_2_1888__1_1_1_4_2_1->n9_a_wilde_2_1888__1_1_1_4_2_1_1 n9_a_wilde_2_1888__1_1_1_4_2_2_1 C n9_a_wilde_2_1888__1_1_1_4_2_2->n9_a_wilde_2_1888__1_1_1_4_2_2_1 n9_a_wilde_2_1888__1_1_1_4_2_2_2 NP-SBJ n9_a_wilde_2_1888__1_1_1_4_2_2->n9_a_wilde_2_1888__1_1_1_4_2_2_2 n9_a_wilde_2_1888__1_1_1_4_2_2_3 HVD;_cat_Vt_ n9_a_wilde_2_1888__1_1_1_4_2_2->n9_a_wilde_2_1888__1_1_1_4_2_2_3 n9_a_wilde_2_1888__1_1_1_4_2_2_4 IP-INF-OB1 n9_a_wilde_2_1888__1_1_1_4_2_2->n9_a_wilde_2_1888__1_1_1_4_2_2_4 n9_a_wilde_2_1888__1_1_1_4_2_2_1->n9_a_wilde_2_1888__1_1_1_4_2_2_1_1 n9_a_wilde_2_1888__1_1_1_4_2_2_2_1 PRO n9_a_wilde_2_1888__1_1_1_4_2_2_2->n9_a_wilde_2_1888__1_1_1_4_2_2_2_1 n9_a_wilde_2_1888__1_1_1_4_2_2_2_1->n9_a_wilde_2_1888__1_1_1_4_2_2_2_1_1 n9_a_wilde_2_1888__1_1_1_4_2_2_3->n9_a_wilde_2_1888__1_1_1_4_2_2_3_1 n9_a_wilde_2_1888__1_1_1_4_2_2_4_1 NP-OB1 n9_a_wilde_2_1888__1_1_1_4_2_2_4->n9_a_wilde_2_1888__1_1_1_4_2_2_4_1 n9_a_wilde_2_1888__1_1_1_4_2_2_4_2 TO n9_a_wilde_2_1888__1_1_1_4_2_2_4->n9_a_wilde_2_1888__1_1_1_4_2_2_4_2 n9_a_wilde_2_1888__1_1_1_4_2_2_4_3 VB;_Tn_ n9_a_wilde_2_1888__1_1_1_4_2_2_4->n9_a_wilde_2_1888__1_1_1_4_2_2_4_3 n9_a_wilde_2_1888__1_1_1_4_2_2_4_1->n9_a_wilde_2_1888__1_1_1_4_2_2_4_1_1 n9_a_wilde_2_1888__1_1_1_4_2_2_4_2->n9_a_wilde_2_1888__1_1_1_4_2_2_4_2_1 n9_a_wilde_2_1888__1_1_1_4_2_2_4_3->n9_a_wilde_2_1888__1_1_1_4_2_2_4_3_1 n9_a_wilde_2_1888__1_1_1_5->n9_a_wilde_2_1888__1_1_1_5_1 n9_a_wilde_2_1888__1_1_1_6_1 P-CONN n9_a_wilde_2_1888__1_1_1_6->n9_a_wilde_2_1888__1_1_1_6_1 n9_a_wilde_2_1888__1_1_1_6_2 IP-ADV n9_a_wilde_2_1888__1_1_1_6->n9_a_wilde_2_1888__1_1_1_6_2 n9_a_wilde_2_1888__1_1_1_6_1->n9_a_wilde_2_1888__1_1_1_6_1_1 n9_a_wilde_2_1888__1_1_1_6_2_1 NP-SBJ n9_a_wilde_2_1888__1_1_1_6_2->n9_a_wilde_2_1888__1_1_1_6_2_1 n9_a_wilde_2_1888__1_1_1_6_2_2 BED;_La_ n9_a_wilde_2_1888__1_1_1_6_2->n9_a_wilde_2_1888__1_1_1_6_2_2 n9_a_wilde_2_1888__1_1_1_6_2_3 ADJP-PRD n9_a_wilde_2_1888__1_1_1_6_2->n9_a_wilde_2_1888__1_1_1_6_2_3 n9_a_wilde_2_1888__1_1_1_6_2_1_1 NP-GEN n9_a_wilde_2_1888__1_1_1_6_2_1->n9_a_wilde_2_1888__1_1_1_6_2_1_1 n9_a_wilde_2_1888__1_1_1_6_2_1_2 N n9_a_wilde_2_1888__1_1_1_6_2_1->n9_a_wilde_2_1888__1_1_1_6_2_1_2 n9_a_wilde_2_1888__1_1_1_6_2_1_1_1 PRO;_genm_ n9_a_wilde_2_1888__1_1_1_6_2_1_1->n9_a_wilde_2_1888__1_1_1_6_2_1_1_1 n9_a_wilde_2_1888__1_1_1_6_2_1_1_1->n9_a_wilde_2_1888__1_1_1_6_2_1_1_1_1 n9_a_wilde_2_1888__1_1_1_6_2_1_2->n9_a_wilde_2_1888__1_1_1_6_2_1_2_1 n9_a_wilde_2_1888__1_1_1_6_2_2->n9_a_wilde_2_1888__1_1_1_6_2_2_1 n9_a_wilde_2_1888__1_1_1_6_2_3_1 ADJ n9_a_wilde_2_1888__1_1_1_6_2_3->n9_a_wilde_2_1888__1_1_1_6_2_3_1 n9_a_wilde_2_1888__1_1_1_6_2_3_1->n9_a_wilde_2_1888__1_1_1_6_2_3_1_1 n9_a_wilde_2_1888__1_1_2->n9_a_wilde_2_1888__1_1_2_1 n9_a_wilde_2_1888__1_1_3_1 CONJ n9_a_wilde_2_1888__1_1_3->n9_a_wilde_2_1888__1_1_3_1 n9_a_wilde_2_1888__1_1_3_2 ILYR n9_a_wilde_2_1888__1_1_3->n9_a_wilde_2_1888__1_1_3_2 n9_a_wilde_2_1888__1_1_3_1->n9_a_wilde_2_1888__1_1_3_1_1 n9_a_wilde_2_1888__1_1_3_2_1 NP-SBJ n9_a_wilde_2_1888__1_1_3_2->n9_a_wilde_2_1888__1_1_3_2_1 n9_a_wilde_2_1888__1_1_3_2_2 VBD;_Tt_ n9_a_wilde_2_1888__1_1_3_2->n9_a_wilde_2_1888__1_1_3_2_2 n9_a_wilde_2_1888__1_1_3_2_3 IP-INF-OB1 n9_a_wilde_2_1888__1_1_3_2->n9_a_wilde_2_1888__1_1_3_2_3 n9_a_wilde_2_1888__1_1_3_2_1_1 PRO n9_a_wilde_2_1888__1_1_3_2_1->n9_a_wilde_2_1888__1_1_3_2_1_1 n9_a_wilde_2_1888__1_1_3_2_1_1->n9_a_wilde_2_1888__1_1_3_2_1_1_1 n9_a_wilde_2_1888__1_1_3_2_2->n9_a_wilde_2_1888__1_1_3_2_2_1 n9_a_wilde_2_1888__1_1_3_2_3_1 TO n9_a_wilde_2_1888__1_1_3_2_3->n9_a_wilde_2_1888__1_1_3_2_3_1 n9_a_wilde_2_1888__1_1_3_2_3_2 VB;_Ipr_ n9_a_wilde_2_1888__1_1_3_2_3->n9_a_wilde_2_1888__1_1_3_2_3_2 n9_a_wilde_2_1888__1_1_3_2_3_3 PP-CLR n9_a_wilde_2_1888__1_1_3_2_3->n9_a_wilde_2_1888__1_1_3_2_3_3 n9_a_wilde_2_1888__1_1_3_2_3_1->n9_a_wilde_2_1888__1_1_3_2_3_1_1 n9_a_wilde_2_1888__1_1_3_2_3_2->n9_a_wilde_2_1888__1_1_3_2_3_2_1 n9_a_wilde_2_1888__1_1_3_2_3_3_1 P-ROLE n9_a_wilde_2_1888__1_1_3_2_3_3->n9_a_wilde_2_1888__1_1_3_2_3_3_1 n9_a_wilde_2_1888__1_1_3_2_3_3_2 NP n9_a_wilde_2_1888__1_1_3_2_3_3->n9_a_wilde_2_1888__1_1_3_2_3_3_2 n9_a_wilde_2_1888__1_1_3_2_3_3_1->n9_a_wilde_2_1888__1_1_3_2_3_3_1_1 n9_a_wilde_2_1888__1_1_3_2_3_3_2_1 NP-GEN n9_a_wilde_2_1888__1_1_3_2_3_3_2->n9_a_wilde_2_1888__1_1_3_2_3_3_2_1 n9_a_wilde_2_1888__1_1_3_2_3_3_2_2 N n9_a_wilde_2_1888__1_1_3_2_3_3_2->n9_a_wilde_2_1888__1_1_3_2_3_3_2_2 n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_1 NP-GEN n9_a_wilde_2_1888__1_1_3_2_3_3_2_1->n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_1 n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_2 ADJP n9_a_wilde_2_1888__1_1_3_2_3_3_2_1->n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_2 n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_1_1 PRO;_genm_ n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_1->n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_1_1 n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_1_1->n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_1_1_1 n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_2_1 ADJ n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_2->n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_2_1 n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_2_1->n9_a_wilde_2_1888__1_1_3_2_3_3_2_1_2_1_1 n9_a_wilde_2_1888__1_1_3_2_3_3_2_2->n9_a_wilde_2_1888__1_1_3_2_3_3_2_2_1 n9_a_wilde_2_1888__1_2->n9_a_wilde_2_1888__1_2_1
( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN After;{after})
                               (IP-ADV (NP-SBJ (D the;{the})
                                               (NUM seven;{seven})
                                               (NS years;{year}))
                                       (BED;__ were;{be})
                                       (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-OB1 (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))



%3 z_0009_5025 r_0009_0030__own own z_0009_5025->r_0009_0030__own [attrib] r_0009_0007__he he z_0009_5025->r_0009_0007__he [gen] r_0009_0031__castle castle r_0009_0031__castle->z_0009_5025 [gen] r_0009_0027__return_r_0009_0028__to return to r_0009_0027__return_r_0009_0028__to->r_0009_0007__he [arg0] r_0009_0027__return_r_0009_0028__to->r_0009_0031__castle [arg1] r_0009_0025__determined determined r_0009_0025__determined->r_0009_0007__he [arg0] r_0009_0025__determined->r_0009_0027__return_r_0009_0028__to [arg1] r_0009_0023__and and r_0009_0023__and->r_0009_0025__determined [conj2] r_0009_0001__After After r_0009_0023__and->r_0009_0001__After [conj1] r_0009_0010__all__quant all [quant] r_0009_0001__After->r_0009_0010__all__quant [scope] r_0009_0005__were_r_0009_0006__over were over r_0009_0001__After->r_0009_0005__were_r_0009_0006__over [restriction] r_0009_0020__was was r_0009_0021__limited limited r_0009_0020__was->r_0009_0021__limited [prd] r_0009_0019__conversation conversation r_0009_0020__was->r_0009_0019__conversation [arg0] r_0009_0019__conversation->r_0009_0007__he [gen] r_0009_0017__for for r_0009_0017__for->r_0009_0020__was [restriction] r_0009_0008__had had r_0009_0017__for->r_0009_0008__had [scope] r_0009_0009__said said r_0009_0008__had->r_0009_0009__said [scope] r_0009_0015__say say r_0009_0015__say->r_0009_0007__he [arg0] z_0009_5010 r_0009_0015__say->z_0009_5010 [inv_arg1] r_0009_0013__had had r_0009_0013__had->r_0009_0007__he [arg0] r_0009_0013__had->r_0009_0015__say [arg1] r_0009_0010__all__quant->r_0009_0017__for [scope] r_0009_0010__all__quant->z_0009_5010 [restriction] r_0009_0009__said->r_0009_0007__he [arg0] r_0009_0009__said->z_0009_5010 [arg1] r_0009_0002__the_r_0009_0003__seven_r_0009_0004__years the seven years r_0009_0005__were_r_0009_0006__over->r_0009_0002__the_r_0009_0003__seven_r_0009_0004__years [arg0]
arc(r_0009_0001__After,r_0009_0005__were_r_0009_0006__over,restriction).
arc(r_0009_0001__After,r_0009_0010__all__quant,scope).
arc(r_0009_0005__were_r_0009_0006__over,r_0009_0002__the_r_0009_0003__seven_r_0009_0004__years,arg0).
arc(r_0009_0008__had,r_0009_0009__said,scope).
arc(r_0009_0009__said,r_0009_0007__he,arg0).
arc(r_0009_0009__said,z_0009_5010,arg1).
arc(r_0009_0010__all__quant,r_0009_0017__for,scope).
arc(r_0009_0010__all__quant,z_0009_5010,restriction).
arc(r_0009_0013__had,r_0009_0007__he,arg0).
arc(r_0009_0013__had,r_0009_0015__say,arg1).
arc(r_0009_0015__say,r_0009_0007__he,arg0).
arc(r_0009_0015__say,z_0009_5010,inv_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_0007__he,arg0).
arc(r_0009_0025__determined,r_0009_0027__return_r_0009_0028__to,arg1).
arc(r_0009_0027__return_r_0009_0028__to,r_0009_0007__he,arg0).
arc(r_0009_0027__return_r_0009_0028__to,r_0009_0031__castle,arg1).
arc(r_0009_0031__castle,z_0009_5025,gen).
arc(z_0009_5025,r_0009_0007__he,gen).
arc(z_0009_5025,r_0009_0030__own,attrib).



%3 r_0009_0001__After After r_0009_0005__were_r_0009_0006__over were over r_0009_0001__After->r_0009_0005__were_r_0009_0006__over [conj1] r_0009_0010__all__quant all [quant] r_0009_0001__After->r_0009_0010__all__quant [conj2] r_0009_0002__the_r_0009_0003__seven_r_0009_0004__years the seven years r_0009_0005__were_r_0009_0006__over->r_0009_0002__the_r_0009_0003__seven_r_0009_0004__years [arg0] z_0009_5010 r_0009_0010__all__quant->z_0009_5010 [restriction] r_0009_0017__for for r_0009_0010__all__quant->r_0009_0017__for [scope] r_0009_0008__had_r_0009_0009__said had said r_0009_0007__he he r_0009_0008__had_r_0009_0009__said->r_0009_0007__he [arg0] r_0009_0008__had_r_0009_0009__said->z_0009_5010 [arg1] r_0009_0015__say say z_0009_5010->r_0009_0015__say [inv_arg1] r_0009_0017__for->r_0009_0008__had_r_0009_0009__said [conj2] r_0009_0020__was was r_0009_0017__for->r_0009_0020__was [conj1] r_0009_0013__had had r_0009_0013__had->r_0009_0007__he [arg0] r_0009_0013__had->r_0009_0015__say [arg1] r_0009_0015__say->r_0009_0007__he [arg0] r_0009_0019__conversation conversation r_0009_0020__was->r_0009_0019__conversation [arg0] r_0009_0021__limited limited r_0009_0020__was->r_0009_0021__limited [prd] r_0009_0019__conversation->r_0009_0007__he [gen] r_0009_0023__and and r_0009_0023__and->r_0009_0001__After [conj1] r_0009_0025__determined determined r_0009_0023__and->r_0009_0025__determined [conj2] r_0009_0025__determined->r_0009_0007__he [arg0] r_0009_0027__return_r_0009_0028__to return to r_0009_0025__determined->r_0009_0027__return_r_0009_0028__to [arg1] r_0009_0027__return_r_0009_0028__to->r_0009_0007__he [arg0] r_0009_0031__castle castle r_0009_0027__return_r_0009_0028__to->r_0009_0031__castle [arg1] z_0009_5025 r_0009_0031__castle->z_0009_5025 [gen] z_0009_5025->r_0009_0007__he [gen] r_0009_0030__own own z_0009_5025->r_0009_0030__own [attrib]
fof(formula,axiom,
    ? [R_0009_0007__HE,R_0009_0015__SAY,R_0009_0013__HAD,R_0009_0002__THE_R_0009_0003__SEVEN_R_0009_0004__YEARS,R_0009_0005__WERE_R_0009_0006__OVER,R_0009_0001__AFTER,R_0009_0030__OWN,Z_0009_5025,R_0009_0031__CASTLE,R_0009_0027__RETURN_R_0009_0028__TO,R_0009_0025__DETERMINED,R_0009_0023__AND] :
      ( r_0009_0002__the_r_0009_0003__seven_r_0009_0004__years(R_0009_0002__THE_R_0009_0003__SEVEN_R_0009_0004__YEARS)
      & r_0009_0007__he(R_0009_0007__HE)
      & r_0009_0030__own(R_0009_0030__OWN)
      & r_0009_0023__and(R_0009_0023__AND)
      & has_conj2(R_0009_0023__AND,R_0009_0025__DETERMINED)
      & r_0009_0025__determined(R_0009_0025__DETERMINED)
      & has_arg1(R_0009_0025__DETERMINED,R_0009_0027__RETURN_R_0009_0028__TO)
      & r_0009_0027__return_r_0009_0028__to(R_0009_0027__RETURN_R_0009_0028__TO)
      & has_arg1(R_0009_0027__RETURN_R_0009_0028__TO,R_0009_0031__CASTLE)
      & r_0009_0031__castle(R_0009_0031__CASTLE)
      & has_gen(R_0009_0031__CASTLE,Z_0009_5025)
      & z_0009_5025(Z_0009_5025)
      & has_attrib(Z_0009_5025,R_0009_0030__OWN)
      & has_gen(Z_0009_5025,R_0009_0007__HE)
      & has_arg0(R_0009_0027__RETURN_R_0009_0028__TO,R_0009_0007__HE)
      & has_arg0(R_0009_0025__DETERMINED,R_0009_0007__HE)
      & has_conj1(R_0009_0023__AND,R_0009_0001__AFTER)
      & r_0009_0001__After(R_0009_0001__AFTER)
      & ! [Z_0009_5010] :
          ( ( z_0009_5010(Z_0009_5010)
            & has_inv_arg1(Z_0009_5010,R_0009_0015__SAY) )
         => ? [R_0009_0008__HAD_R_0009_0009__SAID,R_0009_0019__CONVERSATION,R_0009_0021__LIMITED,R_0009_0020__WAS,R_0009_0017__FOR] :
              ( r_0009_0021__limited(R_0009_0021__LIMITED)
              & r_0009_0017__for(R_0009_0017__FOR)
              & has_conj1(R_0009_0017__FOR,R_0009_0020__WAS)
              & r_0009_0020__was(R_0009_0020__WAS)
              & has_prd(R_0009_0020__WAS,R_0009_0021__LIMITED)
              & has_arg0(R_0009_0020__WAS,R_0009_0019__CONVERSATION)
              & r_0009_0019__conversation(R_0009_0019__CONVERSATION)
              & has_gen(R_0009_0019__CONVERSATION,R_0009_0007__HE)
              & has_conj2(R_0009_0017__FOR,R_0009_0008__HAD_R_0009_0009__SAID)
              & r_0009_0008__had_r_0009_0009__said(R_0009_0008__HAD_R_0009_0009__SAID)
              & has_arg1(R_0009_0008__HAD_R_0009_0009__SAID,Z_0009_5010)
              & has_arg0(R_0009_0008__HAD_R_0009_0009__SAID,R_0009_0007__HE) ) )
      & has_conj1(R_0009_0001__AFTER,R_0009_0005__WERE_R_0009_0006__OVER)
      & r_0009_0005__were_r_0009_0006__over(R_0009_0005__WERE_R_0009_0006__OVER)
      & has_arg0(R_0009_0005__WERE_R_0009_0006__OVER,R_0009_0002__THE_R_0009_0003__SEVEN_R_0009_0004__YEARS)
      & r_0009_0013__had(R_0009_0013__HAD)
      & has_arg1(R_0009_0013__HAD,R_0009_0015__SAY)
      & r_0009_0015__say(R_0009_0015__SAY)
      & has_arg0(R_0009_0015__SAY,R_0009_0007__HE)
      & has_arg0(R_0009_0013__HAD,R_0009_0007__HE) ) ).