56_a_lob_n01
But they could hardly leave her in the car while they rested.
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
(MD;_cat_Vi_ could;{can})
(IP-INF-CAT (ADVP-NIM (ADV hardly;{hardly}))
(VB;_Tn.pr_ leave;{leave[in]})
(NP-OB1;{EVE} (PRO her;{her}))
(PP-CLR (P-ROLE in;{in})
(NP (D the;{the})
(N car;{car}))))
(PP-SCON (P-CONN while;{while})
(IP-ADV (NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
(VBD;_I_ rested;{rest})))
(PUNC .))
(ID 56_a_lob_n01))
arc(r_0056_0003__could,r_0056_0005__leave_r_0056_0007__in,scope).
arc(r_0056_0005__leave_r_0056_0007__in,r_0056_0002__they,arg0).
arc(r_0056_0005__leave_r_0056_0007__in,r_0056_0004__hardly,nim).
arc(r_0056_0005__leave_r_0056_0007__in,r_0056_0006__her,arg1).
arc(r_0056_0005__leave_r_0056_0007__in,r_0056_0008__the_r_0056_0009__car,arg2).
arc(r_0056_0010__while,r_0056_0003__could,scope).
arc(r_0056_0010__while,r_0056_0012__rested,restriction).
arc(r_0056_0012__rested,r_0056_0002__they,arg0).
fof(formula,axiom,
? [R_0056_0002__THEY,R_0056_0004__HARDLY,R_0056_0006__HER,R_0056_0008__THE_R_0056_0009__CAR,R_0056_0003__COULD_R_0056_0005__LEAVE_R_0056_0007__IN,R_0056_0012__RESTED,R_0056_0010__WHILE] :
( r_0056_0002__they(R_0056_0002__THEY)
& r_0056_0004__hardly(R_0056_0004__HARDLY)
& r_0056_0006__her(R_0056_0006__HER)
& r_0056_0008__the_r_0056_0009__car(R_0056_0008__THE_R_0056_0009__CAR)
& r_0056_0010__while(R_0056_0010__WHILE)
& has_conj1(R_0056_0010__WHILE,R_0056_0012__RESTED)
& r_0056_0012__rested(R_0056_0012__RESTED)
& has_arg0(R_0056_0012__RESTED,R_0056_0002__THEY)
& has_conj2(R_0056_0010__WHILE,R_0056_0003__COULD_R_0056_0005__LEAVE_R_0056_0007__IN)
& r_0056_0003__could_r_0056_0005__leave_r_0056_0007__in(R_0056_0003__COULD_R_0056_0005__LEAVE_R_0056_0007__IN)
& has_arg2(R_0056_0003__COULD_R_0056_0005__LEAVE_R_0056_0007__IN,R_0056_0008__THE_R_0056_0009__CAR)
& has_arg1(R_0056_0003__COULD_R_0056_0005__LEAVE_R_0056_0007__IN,R_0056_0006__HER)
& has_nim(R_0056_0003__COULD_R_0056_0005__LEAVE_R_0056_0007__IN,R_0056_0004__HARDLY)
& has_arg0(R_0056_0003__COULD_R_0056_0005__LEAVE_R_0056_0007__IN,R_0056_0002__THEY) ) ).