6_a_lob_n01
Once again she checked back her instructions.
arc(r_0006_0004__checked_r_0006_0005__back, r_0006_0001__Once, nim2).
arc(r_0006_0004__checked_r_0006_0005__back, r_0006_0002__again, nim5).
arc(r_0006_0004__checked_r_0006_0005__back, r_0006_0003__she, arg0).
arc(r_0006_0004__checked_r_0006_0005__back, r_0006_0007__instructions, arg1).
arc(r_0006_0007__instructions, r_0006_0003__she, gen).
fof(formula,axiom,
? [R_6_4_CHECKED_BACK,R_6_7_INSTRUCTIONS,R_6_3_SHE,R_6_1_ONCE,R_6_2_AGAIN] :
( she(R_6_3_SHE)
& once(R_6_1_ONCE)
& again(R_6_2_AGAIN)
& checked_back(R_6_4_CHECKED_BACK,R_6_3_SHE,R_6_7_INSTRUCTIONS)
& instructions(R_6_7_INSTRUCTIONS)
& gen(R_6_7_INSTRUCTIONS,R_6_3_SHE)
& nim2(R_6_4_CHECKED_BACK,R_6_1_ONCE)
& nim5(R_6_4_CHECKED_BACK,R_6_2_AGAIN) ) ).
( (IP-MAT (ADVP-NIM (ADV Once;{once}))
(ADVP-NIM (ADV again;{again}))
(NP-SBJ;{GLORIA} (PRO she;{she}))
(VBD;_phr_Vn<=>p_ checked;{check[back]})
(RP back;{back})
(NP-OB1 (NP-GEN;{GLORIA} (PRO;_genm_ her;{her}))
(NS instructions;{instruction}))
(PUNC .))
(ID 6_a_lob_n01))