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,
    ? [R_129_2_RESIGN,Z_129_A_LOB_A01_1] : resign(R_129_2_RESIGN,Z_129_A_LOB_A01_1) ).


n129_a_lob_a01 n129_a_lob_a01_3 <lquo> n129_a_lob_a01_5 Resign n129_a_lob_a01_7 <rquo> n129_a_lob_a01_9 . n129_a_lob_a01_1 IP-IMP n129_a_lob_a01_2 PULQ n129_a_lob_a01_1->n129_a_lob_a01_2 n129_a_lob_a01_4 VB;__ n129_a_lob_a01_1->n129_a_lob_a01_4 n129_a_lob_a01_6 PURQ n129_a_lob_a01_1->n129_a_lob_a01_6 n129_a_lob_a01_8 PUNC n129_a_lob_a01_1->n129_a_lob_a01_8 n129_a_lob_a01_2->n129_a_lob_a01_3 n129_a_lob_a01_4->n129_a_lob_a01_5 n129_a_lob_a01_6->n129_a_lob_a01_7 n129_a_lob_a01_8->n129_a_lob_a01_9 
( (IP-IMP (PULQ <lquo>)
          (VB;__ Resign;{resign})
          (PURQ <rquo>)
          (PUNC .))
  (ID 129_a_lob_a01))