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__1_1_1 Well n20_a_genieus__1_2_1 , n20_a_genieus__1_3_1_1 then n20_a_genieus__1_4_1 ... n20_a_genieus__1 IP-MAT n20_a_genieus__1_1 REACT n20_a_genieus__1->n20_a_genieus__1_1 n20_a_genieus__1_2 PUNC n20_a_genieus__1->n20_a_genieus__1_2 n20_a_genieus__1_3 ADVP-NIM n20_a_genieus__1->n20_a_genieus__1_3 n20_a_genieus__1_4 PUNC n20_a_genieus__1->n20_a_genieus__1_4 n20_a_genieus__1_1->n20_a_genieus__1_1_1 n20_a_genieus__1_2->n20_a_genieus__1_2_1 n20_a_genieus__1_3_1 ADV n20_a_genieus__1_3->n20_a_genieus__1_3_1 n20_a_genieus__1_3_1->n20_a_genieus__1_3_1_1 n20_a_genieus__1_4->n20_a_genieus__1_4_1 
( (IP-MAT (REACT Well)
          (PUNC ,)
          (ADVP-NIM (ADV then;{then}))
          (PUNC ...))
  (ID 20_a_genieus))