99_a_lob_a02
Instead, the kings will remain in London and wait to hear the conference's proposals.

%3 r_0099_0005__will will r_0099_0001__Instead Instead r_0099_0005__will->r_0099_0001__Instead [nim] r_0099_0009__and and r_0099_0005__will->r_0099_0009__and [scope] r_0099_0006__remain remain r_0099_0009__and->r_0099_0006__remain [conj1] z_000_99_a_lob_a02_31 r_0099_0009__and->z_000_99_a_lob_a02_31 [conj2] r_0099_0003__the_r_0099_0004__kings the kings r_0099_0006__remain->r_0099_0003__the_r_0099_0004__kings [arg0] r_0099_0008__London London r_0099_0006__remain->r_0099_0008__London in [nim] r_0099_0010__wait wait z_000_99_a_lob_a02_31->r_0099_0010__wait [scope] r_0099_0011__to_r_0099_0012__hear to hear z_000_99_a_lob_a02_31->r_0099_0011__to_r_0099_0012__hear [restriction] r_0099_0010__wait->r_0099_0003__the_r_0099_0004__kings [arg0] r_0099_0011__to_r_0099_0012__hear->r_0099_0003__the_r_0099_0004__kings [arg0] r_0099_0016__proposals proposals r_0099_0011__to_r_0099_0012__hear->r_0099_0016__proposals [arg1] r_0099_0013__the_r_0099_0014__conference_r_0099_0015___apos_s the conference 's r_0099_0016__proposals->r_0099_0013__the_r_0099_0014__conference_r_0099_0015___apos_s [gen]
arc(r_0099_0005__will, r_0099_0001__Instead, nim2).
arc(r_0099_0005__will, r_0099_0009__and, scope).
arc(r_0099_0006__remain, r_0099_0003__the_r_0099_0004__kings, arg0).
arc(r_0099_0006__remain, r_0099_0008__London, r_0099_0007__in_nim22).
arc(r_0099_0009__and, r_0099_0006__remain, conj1).
arc(r_0099_0009__and, z_000_99_a_lob_a02_31, conj2).
arc(r_0099_0010__wait, r_0099_0003__the_r_0099_0004__kings, arg0).
arc(r_0099_0011__to_r_0099_0012__hear, r_0099_0003__the_r_0099_0004__kings, arg0).
arc(r_0099_0011__to_r_0099_0012__hear, r_0099_0016__proposals, arg1).
arc(r_0099_0016__proposals, r_0099_0013__the_r_0099_0014__conference_r_0099_0015___apos_s, gen).
arc(z_000_99_a_lob_a02_31, r_0099_0010__wait, scope).
arc(z_000_99_a_lob_a02_31, r_0099_0011__to_r_0099_0012__hear, restriction).



%3 r_0099_0005__will will r_0099_0009__and and r_0099_0005__will->r_0099_0009__and [keep_scope] r_0099_0001__Instead Instead r_0099_0005__will->r_0099_0001__Instead [nim] z_000_99_a_lob_a02_31 r_0099_0009__and->z_000_99_a_lob_a02_31 [conj2] r_0099_0006__remain remain r_0099_0009__and->r_0099_0006__remain [conj1] r_0099_0011__to_r_0099_0012__hear to hear z_000_99_a_lob_a02_31->r_0099_0011__to_r_0099_0012__hear [conj1] r_0099_0010__wait wait z_000_99_a_lob_a02_31->r_0099_0010__wait [conj2] r_0099_0016__proposals proposals r_0099_0011__to_r_0099_0012__hear->r_0099_0016__proposals [arg1] r_0099_0003__the_r_0099_0004__kings the kings r_0099_0011__to_r_0099_0012__hear->r_0099_0003__the_r_0099_0004__kings [arg0] r_0099_0010__wait->r_0099_0003__the_r_0099_0004__kings [arg0] r_0099_0013__the_r_0099_0014__conference_r_0099_0015___apos_s the conference 's r_0099_0016__proposals->r_0099_0013__the_r_0099_0014__conference_r_0099_0015___apos_s [gen] r_0099_0006__remain->r_0099_0003__the_r_0099_0004__kings [arg0] r_0099_0008__London London r_0099_0006__remain->r_0099_0008__London in [nim]
fof(formula,axiom,
    ? [R_99_1_INSTEAD] :
      ( instead(R_99_1_INSTEAD)
      & ? [R_99_9_AND,R_99_6_REMAIN,R_99_8_LONDON,Z_99_A_LOB_A02_31,R_99_11_TO_HEAR,R_99_16_PROPOSALS,R_99_13_THE_CONFERENCE_APOS_S,R_99_10_WAIT,R_99_3_THE_KINGS] :
          ( london(R_99_8_LONDON)
          & the_conference_apos_s(R_99_13_THE_CONFERENCE_APOS_S)
          & the_kings(R_99_3_THE_KINGS)
          & and(R_99_9_AND)
          & conj1(R_99_9_AND,R_99_6_REMAIN)
          & remain(R_99_6_REMAIN,R_99_3_THE_KINGS)
          & in_nim22(R_99_6_REMAIN,R_99_8_LONDON)
          & conj2(R_99_9_AND,Z_99_A_LOB_A02_31)
          & z_99_a_lob_a02_31(Z_99_A_LOB_A02_31)
          & conj1(Z_99_A_LOB_A02_31,R_99_11_TO_HEAR)
          & to_hear(R_99_11_TO_HEAR,R_99_3_THE_KINGS,R_99_16_PROPOSALS)
          & proposals(R_99_16_PROPOSALS)
          & gen(R_99_16_PROPOSALS,R_99_13_THE_CONFERENCE_APOS_S)
          & conj2(Z_99_A_LOB_A02_31,R_99_10_WAIT)
          & wait(R_99_10_WAIT,R_99_3_THE_KINGS) ) ) ).



n99_a_lob_a02 n99_a_lob_a02__1_1_1_1 Instead n99_a_lob_a02__1_2_1 , n99_a_lob_a02__1_3_1_1 the n99_a_lob_a02__1_3_2_1 kings n99_a_lob_a02__1_4_1 will n99_a_lob_a02__1_5_1_1_1_1 remain n99_a_lob_a02__1_5_1_1_2_1_1 in n99_a_lob_a02__1_5_1_1_2_2_1_1 London n99_a_lob_a02__1_5_1_2_1_1 and n99_a_lob_a02__1_5_1_2_2_1_1 wait n99_a_lob_a02__1_5_1_2_2_2_1_1_1 to n99_a_lob_a02__1_5_1_2_2_2_1_2_1 hear n99_a_lob_a02__1_5_1_2_2_2_1_3_1_1_1 the n99_a_lob_a02__1_5_1_2_2_2_1_3_1_2_1 conference n99_a_lob_a02__1_5_1_2_2_2_1_3_1_3_1 's n99_a_lob_a02__1_5_1_2_2_2_1_3_2_1 proposals n99_a_lob_a02__1_6_1 . n99_a_lob_a02__1 IP-MAT n99_a_lob_a02__1_1 ADVP-NIM n99_a_lob_a02__1->n99_a_lob_a02__1_1 n99_a_lob_a02__1_2 PUNC n99_a_lob_a02__1->n99_a_lob_a02__1_2 n99_a_lob_a02__1_3 NP-SBJ n99_a_lob_a02__1->n99_a_lob_a02__1_3 n99_a_lob_a02__1_4 MD;_cat_Vi_ n99_a_lob_a02__1->n99_a_lob_a02__1_4 n99_a_lob_a02__1_5 IP-INF-CAT n99_a_lob_a02__1->n99_a_lob_a02__1_5 n99_a_lob_a02__1_6 PUNC n99_a_lob_a02__1->n99_a_lob_a02__1_6 n99_a_lob_a02__1_1_1 ADV n99_a_lob_a02__1_1->n99_a_lob_a02__1_1_1 n99_a_lob_a02__1_1_1->n99_a_lob_a02__1_1_1_1 n99_a_lob_a02__1_2->n99_a_lob_a02__1_2_1 n99_a_lob_a02__1_3_1 D n99_a_lob_a02__1_3->n99_a_lob_a02__1_3_1 n99_a_lob_a02__1_3_2 NS n99_a_lob_a02__1_3->n99_a_lob_a02__1_3_2 n99_a_lob_a02__1_3_1->n99_a_lob_a02__1_3_1_1 n99_a_lob_a02__1_3_2->n99_a_lob_a02__1_3_2_1 n99_a_lob_a02__1_4->n99_a_lob_a02__1_4_1 n99_a_lob_a02__1_5_1 ILYR n99_a_lob_a02__1_5->n99_a_lob_a02__1_5_1 n99_a_lob_a02__1_5_1_1 ILYR n99_a_lob_a02__1_5_1->n99_a_lob_a02__1_5_1_1 n99_a_lob_a02__1_5_1_2 CONJP n99_a_lob_a02__1_5_1->n99_a_lob_a02__1_5_1_2 n99_a_lob_a02__1_5_1_1_1 VB;__ n99_a_lob_a02__1_5_1_1->n99_a_lob_a02__1_5_1_1_1 n99_a_lob_a02__1_5_1_1_2 PP-NIM n99_a_lob_a02__1_5_1_1->n99_a_lob_a02__1_5_1_1_2 n99_a_lob_a02__1_5_1_1_1->n99_a_lob_a02__1_5_1_1_1_1 n99_a_lob_a02__1_5_1_1_2_1 P-ROLE n99_a_lob_a02__1_5_1_1_2->n99_a_lob_a02__1_5_1_1_2_1 n99_a_lob_a02__1_5_1_1_2_2 NP n99_a_lob_a02__1_5_1_1_2->n99_a_lob_a02__1_5_1_1_2_2 n99_a_lob_a02__1_5_1_1_2_1->n99_a_lob_a02__1_5_1_1_2_1_1 n99_a_lob_a02__1_5_1_1_2_2_1 NPR n99_a_lob_a02__1_5_1_1_2_2->n99_a_lob_a02__1_5_1_1_2_2_1 n99_a_lob_a02__1_5_1_1_2_2_1->n99_a_lob_a02__1_5_1_1_2_2_1_1 n99_a_lob_a02__1_5_1_2_1 CONJ n99_a_lob_a02__1_5_1_2->n99_a_lob_a02__1_5_1_2_1 n99_a_lob_a02__1_5_1_2_2 ILYR n99_a_lob_a02__1_5_1_2->n99_a_lob_a02__1_5_1_2_2 n99_a_lob_a02__1_5_1_2_1->n99_a_lob_a02__1_5_1_2_1_1 n99_a_lob_a02__1_5_1_2_2_1 VB;__ n99_a_lob_a02__1_5_1_2_2->n99_a_lob_a02__1_5_1_2_2_1 n99_a_lob_a02__1_5_1_2_2_2 PP-SCON n99_a_lob_a02__1_5_1_2_2->n99_a_lob_a02__1_5_1_2_2_2 n99_a_lob_a02__1_5_1_2_2_1->n99_a_lob_a02__1_5_1_2_2_1_1 n99_a_lob_a02__1_5_1_2_2_2_1 IP-INF n99_a_lob_a02__1_5_1_2_2_2->n99_a_lob_a02__1_5_1_2_2_2_1 n99_a_lob_a02__1_5_1_2_2_2_1_1 TO n99_a_lob_a02__1_5_1_2_2_2_1->n99_a_lob_a02__1_5_1_2_2_2_1_1 n99_a_lob_a02__1_5_1_2_2_2_1_2 VB;__ n99_a_lob_a02__1_5_1_2_2_2_1->n99_a_lob_a02__1_5_1_2_2_2_1_2 n99_a_lob_a02__1_5_1_2_2_2_1_3 NP-OB1 n99_a_lob_a02__1_5_1_2_2_2_1->n99_a_lob_a02__1_5_1_2_2_2_1_3 n99_a_lob_a02__1_5_1_2_2_2_1_1->n99_a_lob_a02__1_5_1_2_2_2_1_1_1 n99_a_lob_a02__1_5_1_2_2_2_1_2->n99_a_lob_a02__1_5_1_2_2_2_1_2_1 n99_a_lob_a02__1_5_1_2_2_2_1_3_1 NP-GEN n99_a_lob_a02__1_5_1_2_2_2_1_3->n99_a_lob_a02__1_5_1_2_2_2_1_3_1 n99_a_lob_a02__1_5_1_2_2_2_1_3_2 NS n99_a_lob_a02__1_5_1_2_2_2_1_3->n99_a_lob_a02__1_5_1_2_2_2_1_3_2 n99_a_lob_a02__1_5_1_2_2_2_1_3_1_1 D n99_a_lob_a02__1_5_1_2_2_2_1_3_1->n99_a_lob_a02__1_5_1_2_2_2_1_3_1_1 n99_a_lob_a02__1_5_1_2_2_2_1_3_1_2 N n99_a_lob_a02__1_5_1_2_2_2_1_3_1->n99_a_lob_a02__1_5_1_2_2_2_1_3_1_2 n99_a_lob_a02__1_5_1_2_2_2_1_3_1_3 GENM n99_a_lob_a02__1_5_1_2_2_2_1_3_1->n99_a_lob_a02__1_5_1_2_2_2_1_3_1_3 n99_a_lob_a02__1_5_1_2_2_2_1_3_1_1->n99_a_lob_a02__1_5_1_2_2_2_1_3_1_1_1 n99_a_lob_a02__1_5_1_2_2_2_1_3_1_2->n99_a_lob_a02__1_5_1_2_2_2_1_3_1_2_1 n99_a_lob_a02__1_5_1_2_2_2_1_3_1_3->n99_a_lob_a02__1_5_1_2_2_2_1_3_1_3_1 n99_a_lob_a02__1_5_1_2_2_2_1_3_2->n99_a_lob_a02__1_5_1_2_2_2_1_3_2_1 n99_a_lob_a02__1_6->n99_a_lob_a02__1_6_1
( (IP-MAT (ADVP-NIM (ADV Instead;{instead}))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NS kings;{king}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ILYR (ILYR (VB;__ remain;{remain})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (NPR London;{London}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;__ wait;{wait})
                                         (PP-SCON (IP-INF (TO to;{to})
                                                          (VB;__ hear;{hear})
                                                          (NP-OB1 (NP-GEN (D the;{the})
                                                                          (N conference;{conference})
                                                                          (GENM <apos>s))
                                                                  (NS proposals;{proposal}))))))))
          (PUNC .))
  (ID 99_a_lob_a02))