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_0006_0003__LORDS,Z_000_6_A_LOB_A01_1,R_0006_0002__ABOLISH] :
      ( r_0006_0003__Lords(R_0006_0003__LORDS)
      & z_000_6_a_lob_a01_1(Z_000_6_A_LOB_A01_1)
      & r_0006_0002__Abolish(R_0006_0002__ABOLISH)
      & has_arg0(R_0006_0002__ABOLISH,Z_000_6_A_LOB_A01_1)
      & has_arg1(R_0006_0002__ABOLISH,R_0006_0003__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))