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 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] z_000_1_a_lob_a01_1 r_0001_0002__Stop_r_0001_0003__electing->z_000_1_a_lob_a01_1 [arg0] 
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_3 <lquo> n1_a_lob_a01_5 Stop n1_a_lob_a01_8 electing n1_a_lob_a01_11 life n1_a_lob_a01_13 peers n1_a_lob_a01_15 <rquo> n1_a_lob_a01_17 . n1_a_lob_a01_1 IP-IMP n1_a_lob_a01_2 PULQ n1_a_lob_a01_1->n1_a_lob_a01_2 n1_a_lob_a01_4 VB;_cat_Vg_ n1_a_lob_a01_1->n1_a_lob_a01_4 n1_a_lob_a01_6 IP-PPL-CAT n1_a_lob_a01_1->n1_a_lob_a01_6 n1_a_lob_a01_14 PURQ n1_a_lob_a01_1->n1_a_lob_a01_14 n1_a_lob_a01_16 PUNC n1_a_lob_a01_1->n1_a_lob_a01_16 n1_a_lob_a01_2->n1_a_lob_a01_3 n1_a_lob_a01_4->n1_a_lob_a01_5 n1_a_lob_a01_7 VAG;_Tn_ n1_a_lob_a01_6->n1_a_lob_a01_7 n1_a_lob_a01_9 NP-OB1 n1_a_lob_a01_6->n1_a_lob_a01_9 n1_a_lob_a01_7->n1_a_lob_a01_8 n1_a_lob_a01_10 N n1_a_lob_a01_9->n1_a_lob_a01_10 n1_a_lob_a01_12 NS n1_a_lob_a01_9->n1_a_lob_a01_12 n1_a_lob_a01_10->n1_a_lob_a01_11 n1_a_lob_a01_12->n1_a_lob_a01_13 n1_a_lob_a01_14->n1_a_lob_a01_15 n1_a_lob_a01_16->n1_a_lob_a01_17 
( (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))