TSPC 7_a_lob

7_a_lob_a02
So the idea of a personal mission by the Prime Minister to Paris was dropped.

( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ (D the;{the})
                  (N idea;{idea})
                  (PP (P-ROLE of;{of})
                      (NP (D a;{a})
                          (ADJP (ADJ personal;{personal}))
                          (N mission;{mission})
                          (PP (P-ROLE by;{by})
                              (NP (D the;{the})
                                  (NPR Prime;{Prime})
                                  (NPR Minister;{Minister})))
                          (PP (P-ROLE to;{to})
                              (NP (NPR Paris;{Paris}))))))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ dropped;{drop}))
          (PUNC .))
  (ID 7_a_lob_a02))

arc(r_0007_0002__the_r_0007_0003__idea,r_0007_0005__a_r_0007_0007__mission,r_0007_0004__of).
arc(r_0007_0005__a_r_0007_0007__mission,r_0007_0006__personal,attrib).
arc(r_0007_0005__a_r_0007_0007__mission,r_0007_0009__the_r_0007_0010__Prime_r_0007_0011__Minister,r_0007_0008__by).
arc(r_0007_0005__a_r_0007_0007__mission,r_0007_0013__Paris,r_0007_0012__to).
arc(r_0007_0014__was,r_0007_0001__So,nim).
arc(r_0007_0014__was,r_0007_0015__dropped,scope).
arc(r_0007_0015__dropped,r_0007_0002__the_r_0007_0003__idea,arg1).
arc(r_0007_0015__dropped,z_0007_5006___star_,arg0).

fof(formula,axiom,
    ? [R_0007_0001__SO,R_0007_0006__PERSONAL,R_0007_0009__THE_R_0007_0010__PRIME_R_0007_0011__MINISTER,R_0007_0013__PARIS,R_0007_0005__A_R_0007_0007__MISSION,R_0007_0002__THE_R_0007_0003__IDEA,Z_0007_5006___STAR_,R_0007_0014__WAS_R_0007_0015__DROPPED] :
      ( r_0007_0001__So(R_0007_0001__SO)
      & r_0007_0006__personal(R_0007_0006__PERSONAL)
      & r_0007_0009__the_r_0007_0010__Prime_r_0007_0011__Minister(R_0007_0009__THE_R_0007_0010__PRIME_R_0007_0011__MINISTER)
      & r_0007_0013__Paris(R_0007_0013__PARIS)
      & z_0007_5006___star_(Z_0007_5006___STAR_)
      & r_0007_0014__was_r_0007_0015__dropped(R_0007_0014__WAS_R_0007_0015__DROPPED)
      & has_arg0(R_0007_0014__WAS_R_0007_0015__DROPPED,Z_0007_5006___STAR_)
      & has_arg1(R_0007_0014__WAS_R_0007_0015__DROPPED,R_0007_0002__THE_R_0007_0003__IDEA)
      & r_0007_0002__the_r_0007_0003__idea(R_0007_0002__THE_R_0007_0003__IDEA)
      & has_r_0007_0004__of(R_0007_0002__THE_R_0007_0003__IDEA,R_0007_0005__A_R_0007_0007__MISSION)
      & r_0007_0005__a_r_0007_0007__mission(R_0007_0005__A_R_0007_0007__MISSION)
      & has_r_0007_0012__to(R_0007_0005__A_R_0007_0007__MISSION,R_0007_0013__PARIS)
      & has_r_0007_0008__by(R_0007_0005__A_R_0007_0007__MISSION,R_0007_0009__THE_R_0007_0010__PRIME_R_0007_0011__MINISTER)
      & has_attrib(R_0007_0005__A_R_0007_0007__MISSION,R_0007_0006__PERSONAL)
      & has_nim(R_0007_0014__WAS_R_0007_0015__DROPPED,R_0007_0001__SO) ) ).