6_a_lob_n01
Once again she checked back her instructions.
( (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))
arc(r_0006_0004__checked_r_0006_0005__back,r_0006_0001__Once,nim).
arc(r_0006_0004__checked_r_0006_0005__back,r_0006_0002__again,nim).
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_0006_0001__ONCE,R_0006_0002__AGAIN,R_0006_0003__SHE,R_0006_0007__INSTRUCTIONS,R_0006_0004__CHECKED_R_0006_0005__BACK] :
( r_0006_0001__Once(R_0006_0001__ONCE)
& r_0006_0002__again(R_0006_0002__AGAIN)
& r_0006_0003__she(R_0006_0003__SHE)
& r_0006_0004__checked_r_0006_0005__back(R_0006_0004__CHECKED_R_0006_0005__BACK)
& has_arg1(R_0006_0004__CHECKED_R_0006_0005__BACK,R_0006_0007__INSTRUCTIONS)
& r_0006_0007__instructions(R_0006_0007__INSTRUCTIONS)
& has_gen(R_0006_0007__INSTRUCTIONS,R_0006_0003__SHE)
& has_arg0(R_0006_0004__CHECKED_R_0006_0005__BACK,R_0006_0003__SHE)
& has_nim(R_0006_0004__CHECKED_R_0006_0005__BACK,R_0006_0002__AGAIN)
& has_nim(R_0006_0004__CHECKED_R_0006_0005__BACK,R_0006_0001__ONCE) ) ).