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_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_0022__THEY,R_0055_0023__MIGHT_R_0055_0024__GET_R_0055_0025__BY,R_0055_0011__PROVIDED,R_0055_0010__AND,R_0055_0019__THE_R_0055_0020__RUG,Z_000_55_A_LOB_N01_46,Z_000_55_A_LOB_N01_54,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_0019__the_r_0055_0020__rug(R_0055_0019__THE_R_0055_0020__RUG)
& r_0055_0022__they(R_0055_0022__THEY)
& z_000_55_a_lob_n01_46(Z_000_55_A_LOB_N01_46)
& z_000_55_a_lob_n01_54(Z_000_55_A_LOB_N01_54)
& 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_000_55_A_LOB_N01_54)
& has_arg1(R_0055_0016__WAS_R_0055_0017__HIDDEN,Z_000_55_A_LOB_N01_46)
& has_r_0055_0018__under_nim61(R_0055_0016__WAS_R_0055_0017__HIDDEN,R_0055_0019__THE_R_0055_0020__RUG)
& 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_0022__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,Z_000_55_A_LOB_N01_46)
& 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_nim4(R_0055_0003__COULD_R_0055_0004__HAVE,R_0055_0001__OF_COURSE) ) ).
( (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))