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.
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).
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) ) ).
( (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))