TSPC 105_a_lob

105_a_lob_n01
The sooner I can show up on their radar screens the better.

( (FRAG (NP (D The;{the})
            (ADVP (ADVR sooner;{soon})
                  (CP-THT (IP-SUB (NP-SBJ;{ALASTAIR} (PRO I;{I}))
                                  (MD;_cat_Vi_ can;{can})
                                  (IP-INF-CAT (VB;__ show;{show})
                                              (RP up;{up})
                                              (PP-NIM (P-ROLE on;{on})
                                                      (NP (NP-GEN;{OTHERS} (PRO;_genm_ their;{their}))
                                                          (N radar;{radar})
                                                          (NS screens;{screen}))))))))
        (NP (D the;{the})
            (ADVP (ADVR better;{well})))
        (PUNC .))
  (ID 105_a_lob_n01))

arc(r_0105_0001__The,r_0105_0002__sooner,qual).
arc(r_0105_0002__sooner,r_0105_0004__can,emb).
arc(r_0105_0004__can,r_0105_0005__show_r_0105_0006__up,scope).
arc(r_0105_0005__show_r_0105_0006__up,r_0105_0003__I,arg0).
arc(r_0105_0005__show_r_0105_0006__up,r_0105_0009__radar_r_0105_0010__screens,r_0105_0007__on__nim).
arc(r_0105_0009__radar_r_0105_0010__screens,r_0105_0008__their,gen).
arc(r_0105_0011__the,r_0105_0012__better,qual).
arc(z_0105_5014,r_0105_0001__The,z_0105_5006).
arc(z_0105_5014,r_0105_0011__the,z_0105_5003).

fof(formula,axiom,
    ? [R_0105_0003__I,R_0105_0008__THEIR,R_0105_0009__RADAR_R_0105_0010__SCREENS,R_0105_0004__CAN_R_0105_0005__SHOW_R_0105_0006__UP,R_0105_0002__SOONER,R_0105_0001__THE,R_0105_0012__BETTER,R_0105_0011__THE,Z_0105_5014] :
      ( r_0105_0003__I(R_0105_0003__I)
      & r_0105_0008__their(R_0105_0008__THEIR)
      & r_0105_0012__better(R_0105_0012__BETTER)
      & z_0105_5014(Z_0105_5014)
      & has_z_0105_5003(Z_0105_5014,R_0105_0011__THE)
      & r_0105_0011__the(R_0105_0011__THE)
      & has_qual(R_0105_0011__THE,R_0105_0012__BETTER)
      & has_z_0105_5006(Z_0105_5014,R_0105_0001__THE)
      & r_0105_0001__The(R_0105_0001__THE)
      & has_qual(R_0105_0001__THE,R_0105_0002__SOONER)
      & r_0105_0002__sooner(R_0105_0002__SOONER)
      & has_emb(R_0105_0002__SOONER,R_0105_0004__CAN_R_0105_0005__SHOW_R_0105_0006__UP)
      & r_0105_0004__can_r_0105_0005__show_r_0105_0006__up(R_0105_0004__CAN_R_0105_0005__SHOW_R_0105_0006__UP)
      & has_r_0105_0007__on__nim(R_0105_0004__CAN_R_0105_0005__SHOW_R_0105_0006__UP,R_0105_0009__RADAR_R_0105_0010__SCREENS)
      & r_0105_0009__radar_r_0105_0010__screens(R_0105_0009__RADAR_R_0105_0010__SCREENS)
      & has_gen(R_0105_0009__RADAR_R_0105_0010__SCREENS,R_0105_0008__THEIR)
      & has_arg0(R_0105_0004__CAN_R_0105_0005__SHOW_R_0105_0006__UP,R_0105_0003__I) ) ).