Context                Previous, Next                Top


390_a_dick_1952
He disappeared from view.

%3 r_0390_0002__disappeared disappeared r_0390_0001__He He r_0390_0002__disappeared->r_0390_0001__He [arg0] r_0390_0004__view view r_0390_0002__disappeared->r_0390_0004__view from [nim] 
arc(r_0390_0002__disappeared, r_0390_0001__He, arg0).
arc(r_0390_0002__disappeared, r_0390_0004__view, r_0390_0003__from_nim10).


%3 r_0390_0002__disappeared disappeared r_0390_0001__He He r_0390_0002__disappeared->r_0390_0001__He [arg0] r_0390_0004__view view r_0390_0002__disappeared->r_0390_0004__view from [nim] 
fof(formula,axiom,
    ? [R_390_2_DISAPPEARED,R_390_1_HE,R_390_4_VIEW] :
      ( he(R_390_1_HE)
      & view(R_390_4_VIEW)
      & disappeared(R_390_2_DISAPPEARED,R_390_1_HE)
      & from_nim10(R_390_2_DISAPPEARED,R_390_4_VIEW) ) ).


n390_a_dick_1952 n390_a_dick_1952_4 He n390_a_dick_1952_6 disappeared n390_a_dick_1952_9 from n390_a_dick_1952_12 view n390_a_dick_1952_14 . n390_a_dick_1952_1 IP-MAT n390_a_dick_1952_2 NP-SBJ n390_a_dick_1952_1->n390_a_dick_1952_2 n390_a_dick_1952_5 VBD;_I_ n390_a_dick_1952_1->n390_a_dick_1952_5 n390_a_dick_1952_7 PP-NIM n390_a_dick_1952_1->n390_a_dick_1952_7 n390_a_dick_1952_13 PUNC n390_a_dick_1952_1->n390_a_dick_1952_13 n390_a_dick_1952_3 PRO n390_a_dick_1952_2->n390_a_dick_1952_3 n390_a_dick_1952_3->n390_a_dick_1952_4 n390_a_dick_1952_5->n390_a_dick_1952_6 n390_a_dick_1952_8 P-ROLE n390_a_dick_1952_7->n390_a_dick_1952_8 n390_a_dick_1952_10 NP n390_a_dick_1952_7->n390_a_dick_1952_10 n390_a_dick_1952_8->n390_a_dick_1952_9 n390_a_dick_1952_11 N n390_a_dick_1952_10->n390_a_dick_1952_11 n390_a_dick_1952_11->n390_a_dick_1952_12 n390_a_dick_1952_13->n390_a_dick_1952_14 
( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
          (VBD;_I_ disappeared;{disappear})
          (PP-NIM (P-ROLE from;{from})
                  (NP (N view;{view})))
          (PUNC .))
  (ID 390_a_dick_1952))