121_a_lob_n02
And then she received a jolt.
( (IP-MAT (CONJ;_cl_ And;{and})
(ADVP-NIM (ADV then;{then}))
(NP-SBJ;{BERYL} (PRO she;{she}))
(VBD;_Tn_ received;{receive})
(NP-OB1 (D a;{a})
(N jolt;{jolt}))
(PUNC .))
(ID 121_a_lob_n02))
arc(r_0121_0004__received,r_0121_0002__then,nim).
arc(r_0121_0004__received,r_0121_0003__she,arg0).
arc(r_0121_0004__received,r_0121_0005__a_r_0121_0006__jolt,arg1).
fof(formula,axiom,
? [R_0121_0002__THEN,R_0121_0003__SHE,R_0121_0005__A_R_0121_0006__JOLT,R_0121_0004__RECEIVED] :
( r_0121_0002__then(R_0121_0002__THEN)
& r_0121_0003__she(R_0121_0003__SHE)
& r_0121_0005__a_r_0121_0006__jolt(R_0121_0005__A_R_0121_0006__JOLT)
& r_0121_0004__received(R_0121_0004__RECEIVED)
& has_arg1(R_0121_0004__RECEIVED,R_0121_0005__A_R_0121_0006__JOLT)
& has_arg0(R_0121_0004__RECEIVED,R_0121_0003__SHE)
& has_nim(R_0121_0004__RECEIVED,R_0121_0002__THEN) ) ).