Context                Previous, Next                Top


121_a_lob_n02
And then she received a jolt.

%3 r_0121_0001__And_r_0121_0004__received And received r_0121_0002__then then r_0121_0001__And_r_0121_0004__received->r_0121_0002__then [nim] r_0121_0003__she she r_0121_0001__And_r_0121_0004__received->r_0121_0003__she [arg0] r_0121_0005__a_r_0121_0006__jolt a jolt r_0121_0001__And_r_0121_0004__received->r_0121_0005__a_r_0121_0006__jolt [arg1] 
arc(r_0121_0001__And_r_0121_0004__received, r_0121_0002__then, nim4).
arc(r_0121_0001__And_r_0121_0004__received, r_0121_0003__she, arg0).
arc(r_0121_0001__And_r_0121_0004__received, r_0121_0005__a_r_0121_0006__jolt, arg1).


%3 r_0121_0001__And_r_0121_0004__received And received r_0121_0005__a_r_0121_0006__jolt a jolt r_0121_0001__And_r_0121_0004__received->r_0121_0005__a_r_0121_0006__jolt [arg1] r_0121_0003__she she r_0121_0001__And_r_0121_0004__received->r_0121_0003__she [arg0] r_0121_0002__then then r_0121_0001__And_r_0121_0004__received->r_0121_0002__then [nim] 
fof(formula,axiom,
    ? [R_121_1_AND_RECEIVED,R_121_3_SHE,R_121_5_A_JOLT,R_121_2_THEN] :
      ( she(R_121_3_SHE)
      & a_jolt(R_121_5_A_JOLT)
      & then(R_121_2_THEN)
      & and_received(R_121_1_AND_RECEIVED,R_121_3_SHE,R_121_5_A_JOLT)
      & nim4(R_121_1_AND_RECEIVED,R_121_2_THEN) ) ).


n121_a_lob_n02 n121_a_lob_n02__1_1_1 And n121_a_lob_n02__1_2_1_1 then n121_a_lob_n02__1_3_1_1 she n121_a_lob_n02__1_4_1 received n121_a_lob_n02__1_5_1_1 a n121_a_lob_n02__1_5_2_1 jolt n121_a_lob_n02__1_6_1 . n121_a_lob_n02__1 IP-MAT n121_a_lob_n02__1_1 CONJ;_cl_ n121_a_lob_n02__1->n121_a_lob_n02__1_1 n121_a_lob_n02__1_2 ADVP-NIM n121_a_lob_n02__1->n121_a_lob_n02__1_2 n121_a_lob_n02__1_3 NP-SBJ n121_a_lob_n02__1->n121_a_lob_n02__1_3 n121_a_lob_n02__1_4 VBD;_Tn_ n121_a_lob_n02__1->n121_a_lob_n02__1_4 n121_a_lob_n02__1_5 NP-OB1 n121_a_lob_n02__1->n121_a_lob_n02__1_5 n121_a_lob_n02__1_6 PUNC n121_a_lob_n02__1->n121_a_lob_n02__1_6 n121_a_lob_n02__1_1->n121_a_lob_n02__1_1_1 n121_a_lob_n02__1_2_1 ADV n121_a_lob_n02__1_2->n121_a_lob_n02__1_2_1 n121_a_lob_n02__1_2_1->n121_a_lob_n02__1_2_1_1 n121_a_lob_n02__1_3_1 PRO n121_a_lob_n02__1_3->n121_a_lob_n02__1_3_1 n121_a_lob_n02__1_3_1->n121_a_lob_n02__1_3_1_1 n121_a_lob_n02__1_4->n121_a_lob_n02__1_4_1 n121_a_lob_n02__1_5_1 D n121_a_lob_n02__1_5->n121_a_lob_n02__1_5_1 n121_a_lob_n02__1_5_2 N n121_a_lob_n02__1_5->n121_a_lob_n02__1_5_2 n121_a_lob_n02__1_5_1->n121_a_lob_n02__1_5_1_1 n121_a_lob_n02__1_5_2->n121_a_lob_n02__1_5_2_1 n121_a_lob_n02__1_6->n121_a_lob_n02__1_6_1 
( (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))