TSPC 55_a_lob

55_a_lob_n01
Of course they could have bound and gagged her; and provided no one examined what was hidden under the rug, they might get by.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Of_course;{of_course}))
                      (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                      (MD;_cat_Vi_ could;{can})
                      (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (ILYR (ILYR (VVN;_Tn_ bound;{bind}))
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (VBD;_Tn_ gagged;{gag}))))
                                              (NP-OB1;{EVE} (PRO her;{her})))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN provided;{provided})
                                      (IP-ADV (NP-SBJ (Q no;{no})
                                                      (NUM one;{one}))
                                              (VBD;_Tn_ examined;{examine})
                                              (NP-OB1 (IP-REL (NP-SBJ (RPRO what;{what}))
                                                              (BED;_cat_VePASS_ was;{be})
                                                              (IP-PPL-CAT (NP-LGS *)
                                                                          (VVN;_Tn_ hidden;{hide})
                                                                          (PP-NIM (P-ROLE under;{under})
                                                                                  (NP (D the;{the})
                                                                                      (N rug;{rug}))))))))
                             (PUNC ,)
                             (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
                             (MD;_cat_Vi_ might;{may})
                             (IP-INF-CAT (VB;_phr_Vp_ get;{get[by]})
                                         (RP by;{by})))))
          (PUNC .))
  (ID 55_a_lob_n01))

arc(r_0055_0003__could,r_0055_0001__Of_course,nim).
arc(r_0055_0003__could,r_0055_0004__have,scope).
arc(r_0055_0004__have,r_0055_0006__and,scope).
arc(r_0055_0005__bound,r_0055_0002__they,arg0).
arc(r_0055_0005__bound,r_0055_0008__her,arg1).
arc(r_0055_0006__and,r_0055_0005__bound,conj1).
arc(r_0055_0006__and,r_0055_0007__gagged,conj2).
arc(r_0055_0007__gagged,r_0055_0002__they,arg0).
arc(r_0055_0007__gagged,r_0055_0008__her,arg1).
arc(r_0055_0010__and,r_0055_0003__could,conj1).
arc(r_0055_0010__and,r_0055_0011__provided,conj2).
arc(r_0055_0011__provided,r_0055_0012__no__quant,restriction).
arc(r_0055_0011__provided,r_0055_0023__might,scope).
arc(r_0055_0012__no__quant,r_0055_0013__one,restriction).
arc(r_0055_0012__no__quant,r_0055_0014__examined,scope).
arc(r_0055_0014__examined,r_0055_0013__one,arg0).
arc(r_0055_0014__examined,r_0055_0015__what,arg1).
arc(r_0055_0016__was,r_0055_0017__hidden,scope).
arc(r_0055_0017__hidden,r_0055_0015__what,arg1).
arc(r_0055_0017__hidden,r_0055_0019__the_r_0055_0020__rug,r_0055_0018__under__nim).
arc(r_0055_0017__hidden,z_0055_5015___star_,arg0).
arc(r_0055_0023__might,r_0055_0024__get_r_0055_0025__by,scope).
arc(r_0055_0024__get_r_0055_0025__by,r_0055_0002__they,arg0).

fof(formula,axiom,
    ? [R_0055_0001__OF_COURSE,R_0055_0002__THEY,R_0055_0008__HER,R_0055_0005__BOUND,R_0055_0007__GAGGED,R_0055_0006__AND,R_0055_0003__COULD_R_0055_0004__HAVE,R_0055_0023__MIGHT_R_0055_0024__GET_R_0055_0025__BY,R_0055_0011__PROVIDED,R_0055_0010__AND,R_0055_0015__WHAT,R_0055_0019__THE_R_0055_0020__RUG,Z_0055_5015___STAR_,R_0055_0016__WAS_R_0055_0017__HIDDEN] :
      ( r_0055_0001__Of_course(R_0055_0001__OF_COURSE)
      & r_0055_0002__they(R_0055_0002__THEY)
      & r_0055_0008__her(R_0055_0008__HER)
      & r_0055_0015__what(R_0055_0015__WHAT)
      & r_0055_0019__the_r_0055_0020__rug(R_0055_0019__THE_R_0055_0020__RUG)
      & z_0055_5015___star_(Z_0055_5015___STAR_)
      & r_0055_0016__was_r_0055_0017__hidden(R_0055_0016__WAS_R_0055_0017__HIDDEN)
      & has_arg0(R_0055_0016__WAS_R_0055_0017__HIDDEN,Z_0055_5015___STAR_)
      & has_r_0055_0018__under__nim(R_0055_0016__WAS_R_0055_0017__HIDDEN,R_0055_0019__THE_R_0055_0020__RUG)
      & has_arg1(R_0055_0016__WAS_R_0055_0017__HIDDEN,R_0055_0015__WHAT)
      & r_0055_0010__and(R_0055_0010__AND)
      & has_conj2(R_0055_0010__AND,R_0055_0011__PROVIDED)
      & r_0055_0011__provided(R_0055_0011__PROVIDED)
      & has_conj2(R_0055_0011__PROVIDED,R_0055_0023__MIGHT_R_0055_0024__GET_R_0055_0025__BY)
      & r_0055_0023__might_r_0055_0024__get_r_0055_0025__by(R_0055_0023__MIGHT_R_0055_0024__GET_R_0055_0025__BY)
      & has_arg0(R_0055_0023__MIGHT_R_0055_0024__GET_R_0055_0025__BY,R_0055_0002__THEY)
      & ! [R_0055_0013__ONE] :
          ( r_0055_0013__one(R_0055_0013__ONE)
         => ? [R_0055_0014__EXAMINED] :
              ( r_0055_0014__examined(R_0055_0014__EXAMINED)
              & has_arg1(R_0055_0014__EXAMINED,R_0055_0015__WHAT)
              & has_arg0(R_0055_0014__EXAMINED,R_0055_0013__ONE) ) )
      & has_conj1(R_0055_0010__AND,R_0055_0003__COULD_R_0055_0004__HAVE)
      & r_0055_0003__could_r_0055_0004__have(R_0055_0003__COULD_R_0055_0004__HAVE)
      & has_keep_scope(R_0055_0003__COULD_R_0055_0004__HAVE,R_0055_0006__AND)
      & r_0055_0006__and(R_0055_0006__AND)
      & has_conj2(R_0055_0006__AND,R_0055_0007__GAGGED)
      & r_0055_0007__gagged(R_0055_0007__GAGGED)
      & has_arg1(R_0055_0007__GAGGED,R_0055_0008__HER)
      & has_arg0(R_0055_0007__GAGGED,R_0055_0002__THEY)
      & has_conj1(R_0055_0006__AND,R_0055_0005__BOUND)
      & r_0055_0005__bound(R_0055_0005__BOUND)
      & has_arg1(R_0055_0005__BOUND,R_0055_0008__HER)
      & has_arg0(R_0055_0005__BOUND,R_0055_0002__THEY)
      & has_nim(R_0055_0003__COULD_R_0055_0004__HAVE,R_0055_0001__OF_COURSE) ) ).