TSPC 99_a_lob

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

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

arc(r_0099_0005__will,r_0099_0001__Instead,nim).
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__nim).
arc(r_0099_0009__and,r_0099_0006__remain,conj1).
arc(r_0099_0009__and,z_0099_5005,conj2).
arc(r_0099_0010__wait,r_0099_0003__the_r_0099_0004__kings,arg0).
arc(r_0099_0012__hear,r_0099_0003__the_r_0099_0004__kings,arg0).
arc(r_0099_0012__hear,r_0099_0016__proposals,arg1).
arc(r_0099_0016__proposals,r_0099_0013__the_r_0099_0014__conference,gen).
arc(z_0099_5005,r_0099_0010__wait,scope).
arc(z_0099_5005,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_0016__PROPOSALS,R_0099_0012__HEAR,Z_0099_5005,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_0013__THE_R_0099_0014__CONFERENCE)
      & 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_0099_5005)
      & z_0099_5005(Z_0099_5005)
      & has_conj1(Z_0099_5005,R_0099_0012__HEAR)
      & r_0099_0012__hear(R_0099_0012__HEAR)
      & has_arg1(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)
      & has_arg0(R_0099_0012__HEAR,R_0099_0003__THE_R_0099_0004__KINGS)
      & has_conj2(Z_0099_5005,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__nim(R_0099_0006__REMAIN,R_0099_0008__LONDON)
      & has_arg0(R_0099_0006__REMAIN,R_0099_0003__THE_R_0099_0004__KINGS)
      & has_nim(R_0099_0005__WILL,R_0099_0001__INSTEAD) ) ).