Context                Previous, Next                Top


11_a_lob_n01
Then she rang off.

%3 r_0011_0003__rang_r_0011_0004__off rang off r_0011_0001__Then Then r_0011_0003__rang_r_0011_0004__off->r_0011_0001__Then [nim] r_0011_0002__she she r_0011_0003__rang_r_0011_0004__off->r_0011_0002__she [arg0] 
arc(r_0011_0003__rang_r_0011_0004__off, r_0011_0001__Then, nim2).
arc(r_0011_0003__rang_r_0011_0004__off, r_0011_0002__she, arg0).


%3 r_0011_0003__rang_r_0011_0004__off rang off r_0011_0002__she she r_0011_0003__rang_r_0011_0004__off->r_0011_0002__she [arg0] r_0011_0001__Then Then r_0011_0003__rang_r_0011_0004__off->r_0011_0001__Then [nim] 
fof(formula,axiom,
    ? [R_11_3_RANG_OFF,R_11_2_SHE,R_11_1_THEN] :
      ( she(R_11_2_SHE)
      & then(R_11_1_THEN)
      & rang_off(R_11_3_RANG_OFF,R_11_2_SHE)
      & nim2(R_11_3_RANG_OFF,R_11_1_THEN) ) ).


n11_a_lob_n01 n11_a_lob_n01__1_1_1_1 Then n11_a_lob_n01__1_2_1_1 she n11_a_lob_n01__1_3_1 rang n11_a_lob_n01__1_4_1 off n11_a_lob_n01__1_5_1 . n11_a_lob_n01__1 IP-MAT n11_a_lob_n01__1_1 ADVP-NIM n11_a_lob_n01__1->n11_a_lob_n01__1_1 n11_a_lob_n01__1_2 NP-SBJ n11_a_lob_n01__1->n11_a_lob_n01__1_2 n11_a_lob_n01__1_3 VBD;_phr_Vp_ n11_a_lob_n01__1->n11_a_lob_n01__1_3 n11_a_lob_n01__1_4 RP n11_a_lob_n01__1->n11_a_lob_n01__1_4 n11_a_lob_n01__1_5 PUNC n11_a_lob_n01__1->n11_a_lob_n01__1_5 n11_a_lob_n01__1_1_1 ADV n11_a_lob_n01__1_1->n11_a_lob_n01__1_1_1 n11_a_lob_n01__1_1_1->n11_a_lob_n01__1_1_1_1 n11_a_lob_n01__1_2_1 PRO n11_a_lob_n01__1_2->n11_a_lob_n01__1_2_1 n11_a_lob_n01__1_2_1->n11_a_lob_n01__1_2_1_1 n11_a_lob_n01__1_3->n11_a_lob_n01__1_3_1 n11_a_lob_n01__1_4->n11_a_lob_n01__1_4_1 n11_a_lob_n01__1_5->n11_a_lob_n01__1_5_1 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ;{GLORIA} (PRO she;{she}))
          (VBD;_phr_Vp_ rang;{ring[off]})
          (RP off;{off})
          (PUNC .))
  (ID 11_a_lob_n01))