Context                Previous, Next                Top


76_a_lob_a01
Waiting.

n76_a_lob_a01 n76_a_lob_a01__1_1_1 Waiting n76_a_lob_a01__1_2_1 . n76_a_lob_a01__1 IP-PPL n76_a_lob_a01__1_1 VAG;_I_ n76_a_lob_a01__1->n76_a_lob_a01__1_1 n76_a_lob_a01__1_2 PUNC n76_a_lob_a01__1->n76_a_lob_a01__1_2 n76_a_lob_a01__1_1->n76_a_lob_a01__1_1_1 n76_a_lob_a01__1_2->n76_a_lob_a01__1_2_1 
( (IP-PPL (VAG;_I_ Waiting;{wait})
          (PUNC .))
  (ID 76_a_lob_a01))


%3 r_0076_0001__Waiting Waiting z_0076_5002 r_0076_0001__Waiting->z_0076_5002 [arg0] 
arc(r_0076_0001__Waiting,z_0076_5002,arg0).


%3 r_0076_0001__Waiting Waiting z_0076_5002 r_0076_0001__Waiting->z_0076_5002 [arg0] 
fof(formula,axiom,
    ? [Z_0076_5002,R_0076_0001__WAITING] :
      ( z_0076_5002(Z_0076_5002)
      & r_0076_0001__Waiting(R_0076_0001__WAITING)
      & has_arg0(R_0076_0001__WAITING,Z_0076_5002) ) ).