Context                Previous, Next                Top


129_a_lob_a01
‘Resign’.

%3 r_0129_0002__Resign Resign z_000_129_a_lob_a01_1 r_0129_0002__Resign->z_000_129_a_lob_a01_1 [arg0] 
arc(r_0129_0002__Resign, z_000_129_a_lob_a01_1, arg0).


%3 r_0129_0002__Resign Resign z_000_129_a_lob_a01_1 r_0129_0002__Resign->z_000_129_a_lob_a01_1 [arg0] 
fof(formula,axiom,
    ? [Z_000_129_A_LOB_A01_1,R_0129_0002__RESIGN] :
      ( z_000_129_a_lob_a01_1(Z_000_129_A_LOB_A01_1)
      & r_0129_0002__Resign(R_0129_0002__RESIGN)
      & has_arg0(R_0129_0002__RESIGN,Z_000_129_A_LOB_A01_1) ) ).


n129_a_lob_a01 n129_a_lob_a01__1_1_1 <lquo> n129_a_lob_a01__1_2_1 Resign n129_a_lob_a01__1_3_1 <rquo> n129_a_lob_a01__1_4_1 . n129_a_lob_a01__1 IP-IMP n129_a_lob_a01__1_1 PULQ n129_a_lob_a01__1->n129_a_lob_a01__1_1 n129_a_lob_a01__1_2 VB;__ n129_a_lob_a01__1->n129_a_lob_a01__1_2 n129_a_lob_a01__1_3 PURQ n129_a_lob_a01__1->n129_a_lob_a01__1_3 n129_a_lob_a01__1_4 PUNC n129_a_lob_a01__1->n129_a_lob_a01__1_4 n129_a_lob_a01__1_1->n129_a_lob_a01__1_1_1 n129_a_lob_a01__1_2->n129_a_lob_a01__1_2_1 n129_a_lob_a01__1_3->n129_a_lob_a01__1_3_1 n129_a_lob_a01__1_4->n129_a_lob_a01__1_4_1 
( (IP-IMP (PULQ <lquo>)
          (VB;__ Resign;{resign})
          (PURQ <rquo>)
          (PUNC .))
  (ID 129_a_lob_a01))