Context                Previous, Next                Top


6_a_lob_a01
‘Abolish 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))


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


%3 r_0006_0002__Abolish Abolish r_0006_0003__Lords Lords r_0006_0002__Abolish->r_0006_0003__Lords [arg1] z_0006_5002 r_0006_0002__Abolish->z_0006_5002 [arg0] 
fof(formula,axiom,
    ? [R_0006_0003__LORDS,Z_0006_5002,R_0006_0002__ABOLISH] :
      ( r_0006_0003__Lords(R_0006_0003__LORDS)
      & z_0006_5002(Z_0006_5002)
      & r_0006_0002__Abolish(R_0006_0002__ABOLISH)
      & has_arg0(R_0006_0002__ABOLISH,Z_0006_5002)
      & has_arg1(R_0006_0002__ABOLISH,R_0006_0003__LORDS) ) ).