Context                Previous, Next                Top


20_a_genieus
Well, then...

%3 r_0020_0001__Well Well r_0020_0003__then then r_0020_0001__Well->r_0020_0003__then [nim] 
arc(r_0020_0001__Well, r_0020_0003__then, nim6).


%3 r_0020_0001__Well Well r_0020_0003__then then r_0020_0001__Well->r_0020_0003__then [nim] 
fof(formula,axiom,
    ? [R_20_1_WELL,R_20_3_THEN] :
      ( then(R_20_3_THEN)
      & well(R_20_1_WELL)
      & nim6(R_20_1_WELL,R_20_3_THEN) ) ).


n20_a_genieus n20_a_genieus_3 Well n20_a_genieus_5 , n20_a_genieus_8 then n20_a_genieus_10 ... n20_a_genieus_1 IP-MAT n20_a_genieus_2 REACT n20_a_genieus_1->n20_a_genieus_2 n20_a_genieus_4 PUNC n20_a_genieus_1->n20_a_genieus_4 n20_a_genieus_6 ADVP-NIM n20_a_genieus_1->n20_a_genieus_6 n20_a_genieus_9 PUNC n20_a_genieus_1->n20_a_genieus_9 n20_a_genieus_2->n20_a_genieus_3 n20_a_genieus_4->n20_a_genieus_5 n20_a_genieus_7 ADV n20_a_genieus_6->n20_a_genieus_7 n20_a_genieus_7->n20_a_genieus_8 n20_a_genieus_9->n20_a_genieus_10 
( (IP-MAT (REACT Well)
          (PUNC ,)
          (ADVP-NIM (ADV then;{then}))
          (PUNC ...))
  (ID 20_a_genieus))