Context                Previous, Next                Top


622_a_dick_1952
A ramp appeared.

n622_a_dick_1952 n622_a_dick_1952__1_1_1_1 A n622_a_dick_1952__1_1_2_1 ramp n622_a_dick_1952__1_2_1 appeared n622_a_dick_1952__1_3_1 . n622_a_dick_1952__1 IP-MAT n622_a_dick_1952__1_1 NP-SBJ n622_a_dick_1952__1->n622_a_dick_1952__1_1 n622_a_dick_1952__1_2 VBD;_I_ n622_a_dick_1952__1->n622_a_dick_1952__1_2 n622_a_dick_1952__1_3 PUNC n622_a_dick_1952__1->n622_a_dick_1952__1_3 n622_a_dick_1952__1_1_1 D n622_a_dick_1952__1_1->n622_a_dick_1952__1_1_1 n622_a_dick_1952__1_1_2 N n622_a_dick_1952__1_1->n622_a_dick_1952__1_1_2 n622_a_dick_1952__1_1_1->n622_a_dick_1952__1_1_1_1 n622_a_dick_1952__1_1_2->n622_a_dick_1952__1_1_2_1 n622_a_dick_1952__1_2->n622_a_dick_1952__1_2_1 n622_a_dick_1952__1_3->n622_a_dick_1952__1_3_1 
( (IP-MAT (NP-SBJ (D A;{a})
                  (N ramp;{ramp}))
          (VBD;_I_ appeared;{appear})
          (PUNC .))
  (ID 622_a_dick_1952))


%3 r_0622_0003__appeared appeared r_0622_0001__A_r_0622_0002__ramp A ramp r_0622_0003__appeared->r_0622_0001__A_r_0622_0002__ramp [arg0] 
arc(r_0622_0003__appeared,r_0622_0001__A_r_0622_0002__ramp,arg0).


%3 r_0622_0003__appeared appeared r_0622_0001__A_r_0622_0002__ramp A ramp r_0622_0003__appeared->r_0622_0001__A_r_0622_0002__ramp [arg0] 
fof(formula,axiom,
    ? [R_0622_0001__A_R_0622_0002__RAMP,R_0622_0003__APPEARED] :
      ( r_0622_0001__A_r_0622_0002__ramp(R_0622_0001__A_R_0622_0002__RAMP)
      & r_0622_0003__appeared(R_0622_0003__APPEARED)
      & has_arg0(R_0622_0003__APPEARED,R_0622_0001__A_R_0622_0002__RAMP) ) ).