Context                Previous, Next                Top


1_a_lob_a01
‘Stop electing life peers’.

%3 r_0001_0002__Stop Stop r_0001_0003__electing electing r_0001_0002__Stop->r_0001_0003__electing [scope] r_0001_0004__life_r_0001_0005__peers life peers r_0001_0003__electing->r_0001_0004__life_r_0001_0005__peers [arg1] z_000_1_a_lob_a01_1 r_0001_0003__electing->z_000_1_a_lob_a01_1 [arg0] 
arc(r_0001_0002__Stop, r_0001_0003__electing, scope).
arc(r_0001_0003__electing, r_0001_0004__life_r_0001_0005__peers, arg1).
arc(r_0001_0003__electing, z_000_1_a_lob_a01_1, arg0).


%3 r_0001_0002__Stop_r_0001_0003__electing Stop electing z_000_1_a_lob_a01_1 r_0001_0002__Stop_r_0001_0003__electing->z_000_1_a_lob_a01_1 [arg0] r_0001_0004__life_r_0001_0005__peers life peers r_0001_0002__Stop_r_0001_0003__electing->r_0001_0004__life_r_0001_0005__peers [arg1] 
fof(formula,axiom,
    ? [R_1_2_STOP_ELECTING,Z_1_A_LOB_A01_1,R_1_4_LIFE_PEERS] :
      ( life_peers(R_1_4_LIFE_PEERS)
      & stop_electing(R_1_2_STOP_ELECTING,Z_1_A_LOB_A01_1,R_1_4_LIFE_PEERS) ) ).


n1_a_lob_a01 n1_a_lob_a01__1_1_1 <lquo> n1_a_lob_a01__1_2_1 Stop n1_a_lob_a01__1_3_1_1 electing n1_a_lob_a01__1_3_2_1_1 life n1_a_lob_a01__1_3_2_2_1 peers n1_a_lob_a01__1_4_1 <rquo> n1_a_lob_a01__1_5_1 . n1_a_lob_a01__1 IP-IMP n1_a_lob_a01__1_1 PULQ n1_a_lob_a01__1->n1_a_lob_a01__1_1 n1_a_lob_a01__1_2 VB;_cat_Vg_ n1_a_lob_a01__1->n1_a_lob_a01__1_2 n1_a_lob_a01__1_3 IP-PPL-CAT n1_a_lob_a01__1->n1_a_lob_a01__1_3 n1_a_lob_a01__1_4 PURQ n1_a_lob_a01__1->n1_a_lob_a01__1_4 n1_a_lob_a01__1_5 PUNC n1_a_lob_a01__1->n1_a_lob_a01__1_5 n1_a_lob_a01__1_1->n1_a_lob_a01__1_1_1 n1_a_lob_a01__1_2->n1_a_lob_a01__1_2_1 n1_a_lob_a01__1_3_1 VAG;_Tn_ n1_a_lob_a01__1_3->n1_a_lob_a01__1_3_1 n1_a_lob_a01__1_3_2 NP-OB1 n1_a_lob_a01__1_3->n1_a_lob_a01__1_3_2 n1_a_lob_a01__1_3_1->n1_a_lob_a01__1_3_1_1 n1_a_lob_a01__1_3_2_1 N n1_a_lob_a01__1_3_2->n1_a_lob_a01__1_3_2_1 n1_a_lob_a01__1_3_2_2 NS n1_a_lob_a01__1_3_2->n1_a_lob_a01__1_3_2_2 n1_a_lob_a01__1_3_2_1->n1_a_lob_a01__1_3_2_1_1 n1_a_lob_a01__1_3_2_2->n1_a_lob_a01__1_3_2_2_1 n1_a_lob_a01__1_4->n1_a_lob_a01__1_4_1 n1_a_lob_a01__1_5->n1_a_lob_a01__1_5_1 
( (IP-IMP (PULQ <lquo>)
          (VB;_cat_Vg_ Stop;{stop})
          (IP-PPL-CAT (VAG;_Tn_ electing;{elect})
                      (NP-OB1 (N life;{life})
                              (NS peers;{peer})))
          (PURQ <rquo>)
          (PUNC .))
  (ID 1_a_lob_a01))