TSPC 18_a_lob

18_a_lob_a01
‘We want to discuss what to do if the British government gives in to Sir Roy and the talks fall through.

( (IP-MAT (PULQ <lquo>)
          (NP-SBJ (PRO We;{we}))
          (VBP;_Tt_ want;{want})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tw_ discuss;{discuss})
                      (CP-QUE-OB1 (IP-INF (NP-OB1 (WPRO what;{what}))
                                          (TO to;{to})
                                          (DO;_Tn_ do;{do}))))
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (ILYR (ILYR (NP-SBJ (D the;{the})
                                               (ADJP (ADJ British;{british}))
                                               (N government;{government}))
                                       (VBP;_phr_Vp.pr_ gives;{give[in,to]})
                                       (RP in;{in})
                                       (PP-CLR (P-ROLE to;{to})
                                               (NP (N Sir;{sir})
                                                   (NPR Roy;{Roy}))))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (NP-SBJ (D the;{the})
                                                      (NS talks;{talk}))
                                              (VBP;_phr_Vp_ fall;{fall[through]})
                                              (RP through;{through}))))))
          (PUNC .))
  (ID 18_a_lob_a01))

arc(r_0018_0003__want,r_0018_0002__We,arg0).
arc(r_0018_0003__want,r_0018_0005__discuss,arg1).
arc(r_0018_0005__discuss,r_0018_0002__We,arg0).
arc(r_0018_0005__discuss,r_0018_0008__do,arg1).
arc(r_0018_0008__do,r_0018_0002__We,arg0).
arc(r_0018_0008__do,r_0018_0006__what,arg1).
arc(r_0018_0009__if,r_0018_0003__want,scope).
arc(r_0018_0009__if,r_0018_0018__and,restriction).
arc(r_0018_0010__the_r_0018_0012__government,r_0018_0011__British,attrib).
arc(r_0018_0013__gives_r_0018_0014__in,r_0018_0010__the_r_0018_0012__government,arg0).
arc(r_0018_0013__gives_r_0018_0014__in,r_0018_0016__Sir_r_0018_0017__Roy,r_0018_0015__to__clr).
arc(r_0018_0018__and,r_0018_0013__gives_r_0018_0014__in,conj1).
arc(r_0018_0018__and,r_0018_0021__fall_r_0018_0022__through,conj2).
arc(r_0018_0021__fall_r_0018_0022__through,r_0018_0019__the_r_0018_0020__talks,arg0).

fof(formula,axiom,
    ! [R_0018_0018__AND,R_0018_0011__BRITISH,R_0018_0010__THE_R_0018_0012__GOVERNMENT,R_0018_0016__SIR_R_0018_0017__ROY,R_0018_0013__GIVES_R_0018_0014__IN,R_0018_0019__THE_R_0018_0020__TALKS,R_0018_0021__FALL_R_0018_0022__THROUGH] :
      ( ( r_0018_0011__British(R_0018_0011__BRITISH)
        & r_0018_0016__Sir_r_0018_0017__Roy(R_0018_0016__SIR_R_0018_0017__ROY)
        & r_0018_0019__the_r_0018_0020__talks(R_0018_0019__THE_R_0018_0020__TALKS)
        & r_0018_0018__and(R_0018_0018__AND)
        & has_conj2(R_0018_0018__AND,R_0018_0021__FALL_R_0018_0022__THROUGH)
        & r_0018_0021__fall_r_0018_0022__through(R_0018_0021__FALL_R_0018_0022__THROUGH)
        & has_arg0(R_0018_0021__FALL_R_0018_0022__THROUGH,R_0018_0019__THE_R_0018_0020__TALKS)
        & has_conj1(R_0018_0018__AND,R_0018_0013__GIVES_R_0018_0014__IN)
        & r_0018_0013__gives_r_0018_0014__in(R_0018_0013__GIVES_R_0018_0014__IN)
        & has_r_0018_0015__to__clr(R_0018_0013__GIVES_R_0018_0014__IN,R_0018_0016__SIR_R_0018_0017__ROY)
        & has_arg0(R_0018_0013__GIVES_R_0018_0014__IN,R_0018_0010__THE_R_0018_0012__GOVERNMENT)
        & r_0018_0010__the_r_0018_0012__government(R_0018_0010__THE_R_0018_0012__GOVERNMENT)
        & has_attrib(R_0018_0010__THE_R_0018_0012__GOVERNMENT,R_0018_0011__BRITISH) )
     => ? [R_0018_0002__WE,R_0018_0006__WHAT,R_0018_0008__DO,R_0018_0005__DISCUSS,R_0018_0003__WANT] :
          ( r_0018_0002__We(R_0018_0002__WE)
          & r_0018_0006__what(R_0018_0006__WHAT)
          & r_0018_0003__want(R_0018_0003__WANT)
          & has_arg1(R_0018_0003__WANT,R_0018_0005__DISCUSS)
          & r_0018_0005__discuss(R_0018_0005__DISCUSS)
          & has_arg1(R_0018_0005__DISCUSS,R_0018_0008__DO)
          & r_0018_0008__do(R_0018_0008__DO)
          & has_arg1(R_0018_0008__DO,R_0018_0006__WHAT)
          & has_arg0(R_0018_0008__DO,R_0018_0002__WE)
          & has_arg0(R_0018_0005__DISCUSS,R_0018_0002__WE)
          & has_arg0(R_0018_0003__WANT,R_0018_0002__WE) ) ) ).