TSPC 99_a_lob

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

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).

fof(formula,axiom,
    ? [R_0099_0001__INSTEAD,R_0099_0003__THE_R_0099_0004__KINGS,R_0099_0008__LONDON,R_0099_0006__REMAIN,R_0099_0010__WAIT,R_0099_0013__THE_R_0099_0014__CONFERENCE_R_0099_0015___APOS_S,R_0099_0016__PROPOSALS,R_0099_0011__TO_R_0099_0012__HEAR,Z_000_99_A_LOB_A02_31,R_0099_0009__AND,R_0099_0005__WILL] :
      ( r_0099_0001__Instead(R_0099_0001__INSTEAD)
      & r_0099_0003__the_r_0099_0004__kings(R_0099_0003__THE_R_0099_0004__KINGS)
      & r_0099_0008__London(R_0099_0008__LONDON)
      & r_0099_0013__the_r_0099_0014__conference_r_0099_0015___apos_s(R_0099_0013__THE_R_0099_0014__CONFERENCE_R_0099_0015___APOS_S)
      & r_0099_0005__will(R_0099_0005__WILL)
      & has_keep_scope(R_0099_0005__WILL,R_0099_0009__AND)
      & r_0099_0009__and(R_0099_0009__AND)
      & has_conj2(R_0099_0009__AND,Z_000_99_A_LOB_A02_31)
      & z_000_99_a_lob_a02_31(Z_000_99_A_LOB_A02_31)
      & has_conj1(Z_000_99_A_LOB_A02_31,R_0099_0011__TO_R_0099_0012__HEAR)
      & r_0099_0011__to_r_0099_0012__hear(R_0099_0011__TO_R_0099_0012__HEAR)
      & has_arg1(R_0099_0011__TO_R_0099_0012__HEAR,R_0099_0016__PROPOSALS)
      & r_0099_0016__proposals(R_0099_0016__PROPOSALS)
      & has_gen(R_0099_0016__PROPOSALS,R_0099_0013__THE_R_0099_0014__CONFERENCE_R_0099_0015___APOS_S)
      & has_arg0(R_0099_0011__TO_R_0099_0012__HEAR,R_0099_0003__THE_R_0099_0004__KINGS)
      & has_conj2(Z_000_99_A_LOB_A02_31,R_0099_0010__WAIT)
      & r_0099_0010__wait(R_0099_0010__WAIT)
      & has_arg0(R_0099_0010__WAIT,R_0099_0003__THE_R_0099_0004__KINGS)
      & has_conj1(R_0099_0009__AND,R_0099_0006__REMAIN)
      & r_0099_0006__remain(R_0099_0006__REMAIN)
      & has_r_0099_0007__in_nim22(R_0099_0006__REMAIN,R_0099_0008__LONDON)
      & has_arg0(R_0099_0006__REMAIN,R_0099_0003__THE_R_0099_0004__KINGS)
      & has_nim2(R_0099_0005__WILL,R_0099_0001__INSTEAD) ) ).

( (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))