Context                Previous, Next                Top


103_a_loosechange
Then, as abruptly as he had appeared, he left.

%3 r_0103_0004__abruptly abruptly r_0103_0003__as as r_0103_0004__abruptly->r_0103_0003__as [qual] r_0103_0007__had had r_0103_0004__abruptly->r_0103_0007__had as r_0103_0008__appeared appeared r_0103_0007__had->r_0103_0008__appeared [scope] r_0103_0006__he he r_0103_0008__appeared->r_0103_0006__he [arg0] r_0103_0011__left left r_0103_0011__left->r_0103_0004__abruptly [nim] r_0103_0001__Then Then r_0103_0011__left->r_0103_0001__Then [nim] r_0103_0010__he he r_0103_0011__left->r_0103_0010__he [arg0] 
arc(r_0103_0004__abruptly, r_0103_0003__as, qual8).
arc(r_0103_0004__abruptly, r_0103_0007__had, r_0103_0005__as).
arc(r_0103_0007__had, r_0103_0008__appeared, scope).
arc(r_0103_0008__appeared, r_0103_0006__he, arg0).
arc(r_0103_0011__left, r_0103_0001__Then, nim2).
arc(r_0103_0011__left, r_0103_0004__abruptly, nim7).
arc(r_0103_0011__left, r_0103_0010__he, arg0).


%3 r_0103_0011__left left r_0103_0010__he he r_0103_0011__left->r_0103_0010__he [arg0] r_0103_0004__abruptly abruptly r_0103_0011__left->r_0103_0004__abruptly [nim] r_0103_0001__Then Then r_0103_0011__left->r_0103_0001__Then [nim] r_0103_0007__had_r_0103_0008__appeared had appeared r_0103_0004__abruptly->r_0103_0007__had_r_0103_0008__appeared as r_0103_0003__as as r_0103_0004__abruptly->r_0103_0003__as [qual] r_0103_0006__he he r_0103_0007__had_r_0103_0008__appeared->r_0103_0006__he [arg0] 
fof(formula,axiom,
    ? [R_103_11_LEFT,R_103_10_HE,R_103_1_THEN,R_103_4_ABRUPTLY,R_103_3_AS,R_103_7_HAD_APPEARED,R_103_6_HE] :
      ( he(R_103_10_HE)
      & then(R_103_1_THEN)
      & as(R_103_3_AS)
      & he(R_103_6_HE)
      & left(R_103_11_LEFT,R_103_10_HE)
      & nim2(R_103_11_LEFT,R_103_1_THEN)
      & nim7(R_103_11_LEFT,R_103_4_ABRUPTLY)
      & abruptly(R_103_4_ABRUPTLY)
      & qual8(R_103_4_ABRUPTLY,R_103_3_AS)
      & as(R_103_4_ABRUPTLY,R_103_7_HAD_APPEARED)
      & had_appeared(R_103_7_HAD_APPEARED,R_103_6_HE) ) ).


n103_a_loosechange n103_a_loosechange__1_1_1_1 Then n103_a_loosechange__1_2_1 , n103_a_loosechange__1_3_1_1_1 as n103_a_loosechange__1_3_2_1 abruptly n103_a_loosechange__1_3_3_1_1 as n103_a_loosechange__1_3_3_2_1_1_1 he n103_a_loosechange__1_3_3_2_2_1 had n103_a_loosechange__1_3_3_2_3_1_1 appeared n103_a_loosechange__1_4_1 , n103_a_loosechange__1_5_1_1 he n103_a_loosechange__1_6_1 left n103_a_loosechange__1_7_1 . n103_a_loosechange__1 IP-MAT n103_a_loosechange__1_1 ADVP-NIM n103_a_loosechange__1->n103_a_loosechange__1_1 n103_a_loosechange__1_2 PUNC n103_a_loosechange__1->n103_a_loosechange__1_2 n103_a_loosechange__1_3 ADVP-NIM n103_a_loosechange__1->n103_a_loosechange__1_3 n103_a_loosechange__1_4 PUNC n103_a_loosechange__1->n103_a_loosechange__1_4 n103_a_loosechange__1_5 NP-SBJ n103_a_loosechange__1->n103_a_loosechange__1_5 n103_a_loosechange__1_6 VBD;_I_ n103_a_loosechange__1->n103_a_loosechange__1_6 n103_a_loosechange__1_7 PUNC n103_a_loosechange__1->n103_a_loosechange__1_7 n103_a_loosechange__1_1_1 ADV n103_a_loosechange__1_1->n103_a_loosechange__1_1_1 n103_a_loosechange__1_1_1->n103_a_loosechange__1_1_1_1 n103_a_loosechange__1_2->n103_a_loosechange__1_2_1 n103_a_loosechange__1_3_1 ADVP n103_a_loosechange__1_3->n103_a_loosechange__1_3_1 n103_a_loosechange__1_3_2 ADV n103_a_loosechange__1_3->n103_a_loosechange__1_3_2 n103_a_loosechange__1_3_3 PP n103_a_loosechange__1_3->n103_a_loosechange__1_3_3 n103_a_loosechange__1_3_1_1 ADV n103_a_loosechange__1_3_1->n103_a_loosechange__1_3_1_1 n103_a_loosechange__1_3_1_1->n103_a_loosechange__1_3_1_1_1 n103_a_loosechange__1_3_2->n103_a_loosechange__1_3_2_1 n103_a_loosechange__1_3_3_1 P-ROLE n103_a_loosechange__1_3_3->n103_a_loosechange__1_3_3_1 n103_a_loosechange__1_3_3_2 IP-ADV n103_a_loosechange__1_3_3->n103_a_loosechange__1_3_3_2 n103_a_loosechange__1_3_3_1->n103_a_loosechange__1_3_3_1_1 n103_a_loosechange__1_3_3_2_1 NP-SBJ n103_a_loosechange__1_3_3_2->n103_a_loosechange__1_3_3_2_1 n103_a_loosechange__1_3_3_2_2 HVD;_cat_Ve_ n103_a_loosechange__1_3_3_2->n103_a_loosechange__1_3_3_2_2 n103_a_loosechange__1_3_3_2_3 IP-PPL-CAT n103_a_loosechange__1_3_3_2->n103_a_loosechange__1_3_3_2_3 n103_a_loosechange__1_3_3_2_1_1 PRO n103_a_loosechange__1_3_3_2_1->n103_a_loosechange__1_3_3_2_1_1 n103_a_loosechange__1_3_3_2_1_1->n103_a_loosechange__1_3_3_2_1_1_1 n103_a_loosechange__1_3_3_2_2->n103_a_loosechange__1_3_3_2_2_1 n103_a_loosechange__1_3_3_2_3_1 VVN;_I_ n103_a_loosechange__1_3_3_2_3->n103_a_loosechange__1_3_3_2_3_1 n103_a_loosechange__1_3_3_2_3_1->n103_a_loosechange__1_3_3_2_3_1_1 n103_a_loosechange__1_4->n103_a_loosechange__1_4_1 n103_a_loosechange__1_5_1 PRO n103_a_loosechange__1_5->n103_a_loosechange__1_5_1 n103_a_loosechange__1_5_1->n103_a_loosechange__1_5_1_1 n103_a_loosechange__1_6->n103_a_loosechange__1_6_1 n103_a_loosechange__1_7->n103_a_loosechange__1_7_1 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (ADVP-NIM (ADVP (ADV as;{as}))
                    (ADV abruptly;{abruptly})
                    (PP (P-ROLE as;{as})
                        (IP-ADV (NP-SBJ;{BROTHER} (PRO he;{he}))
                                (HVD;_cat_Ve_ had;{have})
                                (IP-PPL-CAT (VVN;_I_ appeared;{appear})))))
          (PUNC ,)
          (NP-SBJ;{BROTHER} (PRO he;{he}))
          (VBD;_I_ left;{leave})
          (PUNC .))
  (ID 103_a_loosechange))