Context                Previous, Next                Top


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.

%3 r_0055_0003__could could r_0055_0001__Of_course Of course r_0055_0003__could->r_0055_0001__Of_course [nim] r_0055_0004__have have r_0055_0003__could->r_0055_0004__have [scope] r_0055_0006__and and r_0055_0004__have->r_0055_0006__and [scope] r_0055_0005__bound bound r_0055_0006__and->r_0055_0005__bound [conj1] r_0055_0007__gagged gagged r_0055_0006__and->r_0055_0007__gagged [conj2] r_0055_0002__they they r_0055_0005__bound->r_0055_0002__they [arg0] r_0055_0008__her her r_0055_0005__bound->r_0055_0008__her [arg1] r_0055_0007__gagged->r_0055_0002__they [arg0] r_0055_0007__gagged->r_0055_0008__her [arg1] r_0055_0010__and and r_0055_0010__and->r_0055_0003__could [conj1] r_0055_0011__provided provided r_0055_0010__and->r_0055_0011__provided [conj2] r_0055_0012__no_quant no [quant] r_0055_0011__provided->r_0055_0012__no_quant [restriction] r_0055_0023__might might r_0055_0011__provided->r_0055_0023__might [scope] r_0055_0013__one one r_0055_0012__no_quant->r_0055_0013__one [restriction] r_0055_0014__examined examined r_0055_0012__no_quant->r_0055_0014__examined [scope] r_0055_0024__get_r_0055_0025__by get by r_0055_0023__might->r_0055_0024__get_r_0055_0025__by [scope] r_0055_0014__examined->r_0055_0013__one [arg0] z_000_55_a_lob_n01_46 r_0055_0014__examined->z_000_55_a_lob_n01_46 [arg1] r_0055_0016__was was r_0055_0017__hidden hidden r_0055_0016__was->r_0055_0017__hidden [scope] r_0055_0017__hidden->z_000_55_a_lob_n01_46 [arg1] r_0055_0019__the_r_0055_0020__rug the rug r_0055_0017__hidden->r_0055_0019__the_r_0055_0020__rug under [nim] z_000_55_a_lob_n01_54 r_0055_0017__hidden->z_000_55_a_lob_n01_54 [arg0] r_0055_0022__they they r_0055_0024__get_r_0055_0025__by->r_0055_0022__they [arg0] 
arc(r_0055_0003__could, r_0055_0001__Of_course, nim4).
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, z_000_55_a_lob_n01_46, arg1).
arc(r_0055_0016__was, r_0055_0017__hidden, scope).
arc(r_0055_0017__hidden, r_0055_0019__the_r_0055_0020__rug, r_0055_0018__under_nim61).
arc(r_0055_0017__hidden, z_000_55_a_lob_n01_46, arg1).
arc(r_0055_0017__hidden, z_000_55_a_lob_n01_54, 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_0022__they, arg0).


%3 r_0055_0003__could_r_0055_0004__have could have r_0055_0001__Of_course Of course r_0055_0003__could_r_0055_0004__have->r_0055_0001__Of_course [nim] r_0055_0006__and and r_0055_0003__could_r_0055_0004__have->r_0055_0006__and [keep_scope] r_0055_0005__bound bound r_0055_0006__and->r_0055_0005__bound [conj1] r_0055_0007__gagged gagged r_0055_0006__and->r_0055_0007__gagged [conj2] r_0055_0002__they they r_0055_0005__bound->r_0055_0002__they [arg0] r_0055_0008__her her r_0055_0005__bound->r_0055_0008__her [arg1] r_0055_0007__gagged->r_0055_0002__they [arg0] r_0055_0007__gagged->r_0055_0008__her [arg1] r_0055_0010__and and r_0055_0010__and->r_0055_0003__could_r_0055_0004__have [conj1] r_0055_0011__provided provided r_0055_0010__and->r_0055_0011__provided [conj2] r_0055_0012__no_quant no [quant] r_0055_0011__provided->r_0055_0012__no_quant [conj1] r_0055_0023__might_r_0055_0024__get_r_0055_0025__by might get by r_0055_0011__provided->r_0055_0023__might_r_0055_0024__get_r_0055_0025__by [conj2] r_0055_0013__one one r_0055_0012__no_quant->r_0055_0013__one [restriction] r_0055_0014__examined examined r_0055_0012__no_quant->r_0055_0014__examined [scope] r_0055_0022__they they r_0055_0023__might_r_0055_0024__get_r_0055_0025__by->r_0055_0022__they [arg0] r_0055_0014__examined->r_0055_0013__one [arg0] z_000_55_a_lob_n01_46 r_0055_0014__examined->z_000_55_a_lob_n01_46 [arg1] r_0055_0016__was_r_0055_0017__hidden was hidden r_0055_0016__was_r_0055_0017__hidden->z_000_55_a_lob_n01_46 [arg1] r_0055_0019__the_r_0055_0020__rug the rug r_0055_0016__was_r_0055_0017__hidden->r_0055_0019__the_r_0055_0020__rug under [nim] z_000_55_a_lob_n01_54 r_0055_0016__was_r_0055_0017__hidden->z_000_55_a_lob_n01_54 [arg0] 
fof(formula,axiom,
    ? [R_55_10_AND,R_55_1_OF_COURSE,R_55_11_PROVIDED,R_55_23_MIGHT_GET_BY,R_55_22_THEY,R_55_16_WAS_HIDDEN,Z_55_A_LOB_N01_54,Z_55_A_LOB_N01_46,R_55_19_THE_RUG] :
      ( of_course(R_55_1_OF_COURSE)
      & they(R_55_22_THEY)
      & the_rug(R_55_19_THE_RUG)
      & and(R_55_10_AND)
      & conj1(R_55_10_AND,R_55_3_COULD_HAVE)
      & ? [R_55_6_AND,R_55_5_BOUND,R_55_7_GAGGED,R_55_2_THEY,R_55_8_HER] :
          ( they(R_55_2_THEY)
          & her(R_55_8_HER)
          & and(R_55_6_AND)
          & conj1(R_55_6_AND,R_55_5_BOUND)
          & bound(R_55_5_BOUND,R_55_2_THEY,R_55_8_HER)
          & conj2(R_55_6_AND,R_55_7_GAGGED)
          & gagged(R_55_7_GAGGED,R_55_2_THEY,R_55_8_HER) )
      & conj2(R_55_10_AND,R_55_11_PROVIDED)
      & ! [R_55_13_ONE] :
          ( one(R_55_13_ONE)
         => ? [R_55_14_EXAMINED] : examined(R_55_14_EXAMINED,R_55_13_ONE,Z_55_A_LOB_N01_46) )
      & conj1(CONJ1)
      & provided(R_55_11_PROVIDED)
      & conj2(R_55_11_PROVIDED,R_55_23_MIGHT_GET_BY)
      & might_get_by(R_55_23_MIGHT_GET_BY,R_55_22_THEY)
      & was_hidden(R_55_16_WAS_HIDDEN,Z_55_A_LOB_N01_54,Z_55_A_LOB_N01_46)
      & under_nim61(R_55_16_WAS_HIDDEN,R_55_19_THE_RUG) ) ).


n55_a_lob_n01 n55_a_lob_n01_6 Of_course n55_a_lob_n01_9 they n55_a_lob_n01_11 could n55_a_lob_n01_14 have n55_a_lob_n01_19 bound n55_a_lob_n01_22 and n55_a_lob_n01_25 gagged n55_a_lob_n01_28 her n55_a_lob_n01_30 ; n55_a_lob_n01_33 and n55_a_lob_n01_37 provided n55_a_lob_n01_41 no n55_a_lob_n01_43 one n55_a_lob_n01_45 examined n55_a_lob_n01_50 what n55_a_lob_n01_52 was n55_a_lob_n01_55 * n55_a_lob_n01_57 hidden n55_a_lob_n01_60 under n55_a_lob_n01_63 the n55_a_lob_n01_65 rug n55_a_lob_n01_67 , n55_a_lob_n01_70 they n55_a_lob_n01_72 might n55_a_lob_n01_75 get n55_a_lob_n01_77 by n55_a_lob_n01_79 . n55_a_lob_n01_1 IP-MAT n55_a_lob_n01_2 ILYR n55_a_lob_n01_1->n55_a_lob_n01_2 n55_a_lob_n01_78 PUNC n55_a_lob_n01_1->n55_a_lob_n01_78 n55_a_lob_n01_3 ILYR n55_a_lob_n01_2->n55_a_lob_n01_3 n55_a_lob_n01_29 PUNC n55_a_lob_n01_2->n55_a_lob_n01_29 n55_a_lob_n01_31 CONJP n55_a_lob_n01_2->n55_a_lob_n01_31 n55_a_lob_n01_4 ADVP-NIM n55_a_lob_n01_3->n55_a_lob_n01_4 n55_a_lob_n01_7 NP-SBJ n55_a_lob_n01_3->n55_a_lob_n01_7 n55_a_lob_n01_10 MD;_cat_Vi_ n55_a_lob_n01_3->n55_a_lob_n01_10 n55_a_lob_n01_12 IP-INF-CAT n55_a_lob_n01_3->n55_a_lob_n01_12 n55_a_lob_n01_5 ADV n55_a_lob_n01_4->n55_a_lob_n01_5 n55_a_lob_n01_5->n55_a_lob_n01_6 n55_a_lob_n01_8 PRO n55_a_lob_n01_7->n55_a_lob_n01_8 n55_a_lob_n01_8->n55_a_lob_n01_9 n55_a_lob_n01_10->n55_a_lob_n01_11 n55_a_lob_n01_13 HV;_cat_Ve_ n55_a_lob_n01_12->n55_a_lob_n01_13 n55_a_lob_n01_15 IP-PPL-CAT n55_a_lob_n01_12->n55_a_lob_n01_15 n55_a_lob_n01_13->n55_a_lob_n01_14 n55_a_lob_n01_16 ILYR n55_a_lob_n01_15->n55_a_lob_n01_16 n55_a_lob_n01_26 NP-OB1 n55_a_lob_n01_15->n55_a_lob_n01_26 n55_a_lob_n01_17 ILYR n55_a_lob_n01_16->n55_a_lob_n01_17 n55_a_lob_n01_20 CONJP n55_a_lob_n01_16->n55_a_lob_n01_20 n55_a_lob_n01_18 VVN;_Tn_ n55_a_lob_n01_17->n55_a_lob_n01_18 n55_a_lob_n01_18->n55_a_lob_n01_19 n55_a_lob_n01_21 CONJ n55_a_lob_n01_20->n55_a_lob_n01_21 n55_a_lob_n01_23 ILYR n55_a_lob_n01_20->n55_a_lob_n01_23 n55_a_lob_n01_21->n55_a_lob_n01_22 n55_a_lob_n01_24 VBD;_Tn_ n55_a_lob_n01_23->n55_a_lob_n01_24 n55_a_lob_n01_24->n55_a_lob_n01_25 n55_a_lob_n01_27 PRO n55_a_lob_n01_26->n55_a_lob_n01_27 n55_a_lob_n01_27->n55_a_lob_n01_28 n55_a_lob_n01_29->n55_a_lob_n01_30 n55_a_lob_n01_32 CONJ n55_a_lob_n01_31->n55_a_lob_n01_32 n55_a_lob_n01_34 ILYR n55_a_lob_n01_31->n55_a_lob_n01_34 n55_a_lob_n01_32->n55_a_lob_n01_33 n55_a_lob_n01_35 PP-SCON n55_a_lob_n01_34->n55_a_lob_n01_35 n55_a_lob_n01_66 PUNC n55_a_lob_n01_34->n55_a_lob_n01_66 n55_a_lob_n01_68 NP-SBJ n55_a_lob_n01_34->n55_a_lob_n01_68 n55_a_lob_n01_71 MD;_cat_Vi_ n55_a_lob_n01_34->n55_a_lob_n01_71 n55_a_lob_n01_73 IP-INF-CAT n55_a_lob_n01_34->n55_a_lob_n01_73 n55_a_lob_n01_36 P-CONN n55_a_lob_n01_35->n55_a_lob_n01_36 n55_a_lob_n01_38 IP-ADV n55_a_lob_n01_35->n55_a_lob_n01_38 n55_a_lob_n01_36->n55_a_lob_n01_37 n55_a_lob_n01_39 NP-SBJ n55_a_lob_n01_38->n55_a_lob_n01_39 n55_a_lob_n01_44 VBD;_Tn_ n55_a_lob_n01_38->n55_a_lob_n01_44 n55_a_lob_n01_46 NP-OB1 n55_a_lob_n01_38->n55_a_lob_n01_46 n55_a_lob_n01_40 Q n55_a_lob_n01_39->n55_a_lob_n01_40 n55_a_lob_n01_42 NUM n55_a_lob_n01_39->n55_a_lob_n01_42 n55_a_lob_n01_40->n55_a_lob_n01_41 n55_a_lob_n01_42->n55_a_lob_n01_43 n55_a_lob_n01_44->n55_a_lob_n01_45 n55_a_lob_n01_47 IP-REL n55_a_lob_n01_46->n55_a_lob_n01_47 n55_a_lob_n01_48 NP-SBJ n55_a_lob_n01_47->n55_a_lob_n01_48 n55_a_lob_n01_51 BED;_cat_VePASS_ n55_a_lob_n01_47->n55_a_lob_n01_51 n55_a_lob_n01_53 IP-PPL-CAT n55_a_lob_n01_47->n55_a_lob_n01_53 n55_a_lob_n01_49 RPRO n55_a_lob_n01_48->n55_a_lob_n01_49 n55_a_lob_n01_49->n55_a_lob_n01_50 n55_a_lob_n01_51->n55_a_lob_n01_52 n55_a_lob_n01_54 NP-LGS n55_a_lob_n01_53->n55_a_lob_n01_54 n55_a_lob_n01_56 VVN;_Tn_ n55_a_lob_n01_53->n55_a_lob_n01_56 n55_a_lob_n01_58 PP-NIM n55_a_lob_n01_53->n55_a_lob_n01_58 n55_a_lob_n01_54->n55_a_lob_n01_55 n55_a_lob_n01_56->n55_a_lob_n01_57 n55_a_lob_n01_59 P-ROLE n55_a_lob_n01_58->n55_a_lob_n01_59 n55_a_lob_n01_61 NP n55_a_lob_n01_58->n55_a_lob_n01_61 n55_a_lob_n01_59->n55_a_lob_n01_60 n55_a_lob_n01_62 D n55_a_lob_n01_61->n55_a_lob_n01_62 n55_a_lob_n01_64 N n55_a_lob_n01_61->n55_a_lob_n01_64 n55_a_lob_n01_62->n55_a_lob_n01_63 n55_a_lob_n01_64->n55_a_lob_n01_65 n55_a_lob_n01_66->n55_a_lob_n01_67 n55_a_lob_n01_69 PRO n55_a_lob_n01_68->n55_a_lob_n01_69 n55_a_lob_n01_69->n55_a_lob_n01_70 n55_a_lob_n01_71->n55_a_lob_n01_72 n55_a_lob_n01_74 VB;_phr_Vp_ n55_a_lob_n01_73->n55_a_lob_n01_74 n55_a_lob_n01_76 RP n55_a_lob_n01_73->n55_a_lob_n01_76 n55_a_lob_n01_74->n55_a_lob_n01_75 n55_a_lob_n01_76->n55_a_lob_n01_77 n55_a_lob_n01_78->n55_a_lob_n01_79 
( (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))