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_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]
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_4 Then n11_a_lob_n01_7 she n11_a_lob_n01_9 rang n11_a_lob_n01_11 off n11_a_lob_n01_13 . n11_a_lob_n01_1 IP-MAT n11_a_lob_n01_2 ADVP-NIM n11_a_lob_n01_1->n11_a_lob_n01_2 n11_a_lob_n01_5 NP-SBJ n11_a_lob_n01_1->n11_a_lob_n01_5 n11_a_lob_n01_8 VBD;_phr_Vp_ n11_a_lob_n01_1->n11_a_lob_n01_8 n11_a_lob_n01_10 RP n11_a_lob_n01_1->n11_a_lob_n01_10 n11_a_lob_n01_12 PUNC n11_a_lob_n01_1->n11_a_lob_n01_12 n11_a_lob_n01_3 ADV n11_a_lob_n01_2->n11_a_lob_n01_3 n11_a_lob_n01_3->n11_a_lob_n01_4 n11_a_lob_n01_6 PRO n11_a_lob_n01_5->n11_a_lob_n01_6 n11_a_lob_n01_6->n11_a_lob_n01_7 n11_a_lob_n01_8->n11_a_lob_n01_9 n11_a_lob_n01_10->n11_a_lob_n01_11 n11_a_lob_n01_12->n11_a_lob_n01_13
( (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))