Context                Previous, Next                Top


6_a_lob_a01
‘Abolish Lords’.

%3 r_0006_0002__Abolish Abolish r_0006_0003__Lords Lords r_0006_0002__Abolish->r_0006_0003__Lords [arg1] z_000_6_a_lob_a01_1 r_0006_0002__Abolish->z_000_6_a_lob_a01_1 [arg0] 
arc(r_0006_0002__Abolish, r_0006_0003__Lords, arg1).
arc(r_0006_0002__Abolish, z_000_6_a_lob_a01_1, arg0).


%3 r_0006_0002__Abolish Abolish z_000_6_a_lob_a01_1 r_0006_0002__Abolish->z_000_6_a_lob_a01_1 [arg0] r_0006_0003__Lords Lords r_0006_0002__Abolish->r_0006_0003__Lords [arg1] 
fof(formula,axiom,
    ? [R_6_2_ABOLISH,Z_6_A_LOB_A01_1,R_6_3_LORDS] :
      ( lords(R_6_3_LORDS)
      & abolish(R_6_2_ABOLISH,Z_6_A_LOB_A01_1,R_6_3_LORDS) ) ).


n6_a_lob_a01 n6_a_lob_a01__1_1_1 <lquo> n6_a_lob_a01__1_2_1 Abolish n6_a_lob_a01__1_3_1_1 Lords n6_a_lob_a01__1_4_1 <rquo> n6_a_lob_a01__1_5_1 . n6_a_lob_a01__1 IP-IMP n6_a_lob_a01__1_1 PULQ n6_a_lob_a01__1->n6_a_lob_a01__1_1 n6_a_lob_a01__1_2 VB;_Tn_ n6_a_lob_a01__1->n6_a_lob_a01__1_2 n6_a_lob_a01__1_3 NP-OB1 n6_a_lob_a01__1->n6_a_lob_a01__1_3 n6_a_lob_a01__1_4 PURQ n6_a_lob_a01__1->n6_a_lob_a01__1_4 n6_a_lob_a01__1_5 PUNC n6_a_lob_a01__1->n6_a_lob_a01__1_5 n6_a_lob_a01__1_1->n6_a_lob_a01__1_1_1 n6_a_lob_a01__1_2->n6_a_lob_a01__1_2_1 n6_a_lob_a01__1_3_1 NS n6_a_lob_a01__1_3->n6_a_lob_a01__1_3_1 n6_a_lob_a01__1_3_1->n6_a_lob_a01__1_3_1_1 n6_a_lob_a01__1_4->n6_a_lob_a01__1_4_1 n6_a_lob_a01__1_5->n6_a_lob_a01__1_5_1 
( (IP-IMP (PULQ <lquo>)
          (VB;_Tn_ Abolish;{abolish})
          (NP-OB1 (NS Lords;{lord}))
          (PURQ <rquo>)
          (PUNC .))
  (ID 6_a_lob_a01))