Context                Previous, Next                Top


131_a_lob_a01
‘Resign’.

n131_a_lob_a01 n131_a_lob_a01__1_1_1 <lquo> n131_a_lob_a01__1_2_1 Resign n131_a_lob_a01__1_3_1 <rquo> n131_a_lob_a01__1_4_1 . n131_a_lob_a01__1 IP-IMP n131_a_lob_a01__1_1 PULQ n131_a_lob_a01__1->n131_a_lob_a01__1_1 n131_a_lob_a01__1_2 VB;__ n131_a_lob_a01__1->n131_a_lob_a01__1_2 n131_a_lob_a01__1_3 PURQ n131_a_lob_a01__1->n131_a_lob_a01__1_3 n131_a_lob_a01__1_4 PUNC n131_a_lob_a01__1->n131_a_lob_a01__1_4 n131_a_lob_a01__1_1->n131_a_lob_a01__1_1_1 n131_a_lob_a01__1_2->n131_a_lob_a01__1_2_1 n131_a_lob_a01__1_3->n131_a_lob_a01__1_3_1 n131_a_lob_a01__1_4->n131_a_lob_a01__1_4_1 
( (IP-IMP (PULQ <lquo>)
          (VB;__ Resign;{resign})
          (PURQ <rquo>)
          (PUNC .))
  (ID 131_a_lob_a01))


%3 r_0131_0002__Resign Resign z_0131_5002 r_0131_0002__Resign->z_0131_5002 [arg0] 
arc(r_0131_0002__Resign,z_0131_5002,arg0).


%3 r_0131_0002__Resign Resign z_0131_5002 r_0131_0002__Resign->z_0131_5002 [arg0] 
fof(formula,axiom,
    ? [Z_0131_5002,R_0131_0002__RESIGN] :
      ( z_0131_5002(Z_0131_5002)
      & r_0131_0002__Resign(R_0131_0002__RESIGN)
      & has_arg0(R_0131_0002__RESIGN,Z_0131_5002) ) ).