TSPC 111_a_lob

111_a_lob_a01
They would provide an ambulance service for the absolutely wretched — but it would not be too comfortable nor too easy to get.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{TORIES} (PRO They;{they}))
                      (MD;_cat_Vi_ would;{will})
                      (IP-INF-CAT (VB;__ provide;{provide})
                                  (NP-OB1;{AMBULANCE} (D an;{an})
                                                      (N ambulance;{ambulance})
                                                      (N service;{service}))
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP (D the;{the})
                                              (ADJP (ADVP (ADV absolutely;{absolutely}))
                                                    (ADJ wretched;{wretched}))))))
                (PUNC <mdash>)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{AMBULANCE} (PRO it;{it}))
                             (MD;_cat_Vi_ would;{will})
                             (NEG not;{not})
                             (IP-PPL-CAT (ILYR (ILYR (BE;_La_ be;{be})
                                                     (ADJP-PRD (ADVP (ADV too;{too}))
                                                               (ADJ comfortable;{comfortable})))
                                               (CONJP (CONJ nor;{nor})
                                                      (ILYR (ADJP-PRD (ADVP (ADV too;{too}))
                                                                      (ADJ easy;{easy}))
                                                            (IP-INF-NSBJ (NP-LGS *)
                                                                         (TO to;{to})
                                                                         (VB;_Tn_ get;{get})))))))))
          (PUNC .))
  (ID 111_a_lob_a01))

arc(r_0111_0002__would,r_0111_0003__provide,scope).
arc(r_0111_0003__provide,r_0111_0001__They,arg0).
arc(r_0111_0003__provide,r_0111_0004__an_r_0111_0005__ambulance_r_0111_0006__service,arg1).
arc(r_0111_0003__provide,r_0111_0008__the,r_0111_0007__for__nim).
arc(r_0111_0008__the,r_0111_0010__wretched,attrib).
arc(r_0111_0010__wretched,r_0111_0009__absolutely,qual).
arc(r_0111_0012__but,r_0111_0002__would,conj1).
arc(r_0111_0012__but,r_0111_0015__not,conj2).
arc(r_0111_0014__would,r_0111_0019__nor,scope).
arc(r_0111_0015__not,r_0111_0014__would,keep_scope).
arc(r_0111_0016__be,r_0111_0004__an_r_0111_0005__ambulance_r_0111_0006__service,arg0).
arc(r_0111_0016__be,r_0111_0018__comfortable,prd).
arc(r_0111_0018__comfortable,r_0111_0017__too,qual).
arc(r_0111_0019__nor,r_0111_0016__be,conj1).
arc(r_0111_0019__nor,z_0111_5018,conj2).
arc(r_0111_0021__easy,r_0111_0020__too,qual).
arc(r_0111_0023__get,r_0111_0004__an_r_0111_0005__ambulance_r_0111_0006__service,arg1).
arc(r_0111_0023__get,z_0111_5014___star_,arg0).
arc(z_0111_5018,r_0111_0021__easy,prd).
arc(z_0111_5018,r_0111_0023__get,arg0).

fof(formula,axiom,
    ? [R_0111_0001__THEY,R_0111_0004__AN_R_0111_0005__AMBULANCE_R_0111_0006__SERVICE,R_0111_0009__ABSOLUTELY,R_0111_0010__WRETCHED,R_0111_0008__THE,R_0111_0002__WOULD_R_0111_0003__PROVIDE,R_0111_0012__BUT] :
      ( r_0111_0001__They(R_0111_0001__THEY)
      & r_0111_0004__an_r_0111_0005__ambulance_r_0111_0006__service(R_0111_0004__AN_R_0111_0005__AMBULANCE_R_0111_0006__SERVICE)
      & r_0111_0009__absolutely(R_0111_0009__ABSOLUTELY)
      & r_0111_0012__but(R_0111_0012__BUT)
      & has_conj2(R_0111_0012__BUT,R_0111_0015__NOT)
      & ~ ? [R_0111_0017__TOO,R_0111_0018__COMFORTABLE,R_0111_0016__BE,R_0111_0020__TOO,R_0111_0021__EASY,Z_0111_5014___STAR_,R_0111_0023__GET,Z_0111_5018,R_0111_0019__NOR,R_0111_0014__WOULD] :
            ( r_0111_0017__too(R_0111_0017__TOO)
            & r_0111_0020__too(R_0111_0020__TOO)
            & z_0111_5014___star_(Z_0111_5014___STAR_)
            & r_0111_0014__would(R_0111_0014__WOULD)
            & has_keep_scope(R_0111_0014__WOULD,R_0111_0019__NOR)
            & r_0111_0019__nor(R_0111_0019__NOR)
            & has_conj2(R_0111_0019__NOR,Z_0111_5018)
            & z_0111_5018(Z_0111_5018)
            & has_arg0(Z_0111_5018,R_0111_0023__GET)
            & r_0111_0023__get(R_0111_0023__GET)
            & has_arg0(R_0111_0023__GET,Z_0111_5014___STAR_)
            & has_arg1(R_0111_0023__GET,R_0111_0004__AN_R_0111_0005__AMBULANCE_R_0111_0006__SERVICE)
            & has_prd(Z_0111_5018,R_0111_0021__EASY)
            & r_0111_0021__easy(R_0111_0021__EASY)
            & has_qual(R_0111_0021__EASY,R_0111_0020__TOO)
            & has_conj1(R_0111_0019__NOR,R_0111_0016__BE)
            & r_0111_0016__be(R_0111_0016__BE)
            & has_prd(R_0111_0016__BE,R_0111_0018__COMFORTABLE)
            & r_0111_0018__comfortable(R_0111_0018__COMFORTABLE)
            & has_qual(R_0111_0018__COMFORTABLE,R_0111_0017__TOO)
            & has_arg0(R_0111_0016__BE,R_0111_0004__AN_R_0111_0005__AMBULANCE_R_0111_0006__SERVICE) )
      & has_conj1(R_0111_0012__BUT,R_0111_0002__WOULD_R_0111_0003__PROVIDE)
      & r_0111_0002__would_r_0111_0003__provide(R_0111_0002__WOULD_R_0111_0003__PROVIDE)
      & has_r_0111_0007__for__nim(R_0111_0002__WOULD_R_0111_0003__PROVIDE,R_0111_0008__THE)
      & r_0111_0008__the(R_0111_0008__THE)
      & has_attrib(R_0111_0008__THE,R_0111_0010__WRETCHED)
      & r_0111_0010__wretched(R_0111_0010__WRETCHED)
      & has_qual(R_0111_0010__WRETCHED,R_0111_0009__ABSOLUTELY)
      & has_arg1(R_0111_0002__WOULD_R_0111_0003__PROVIDE,R_0111_0004__AN_R_0111_0005__AMBULANCE_R_0111_0006__SERVICE)
      & has_arg0(R_0111_0002__WOULD_R_0111_0003__PROVIDE,R_0111_0001__THEY) ) ).