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 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] 
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_3 <lquo> n6_a_lob_a01_5 Abolish n6_a_lob_a01_8 Lords n6_a_lob_a01_10 <rquo> n6_a_lob_a01_12 . n6_a_lob_a01_1 IP-IMP n6_a_lob_a01_2 PULQ n6_a_lob_a01_1->n6_a_lob_a01_2 n6_a_lob_a01_4 VB;_Tn_ n6_a_lob_a01_1->n6_a_lob_a01_4 n6_a_lob_a01_6 NP-OB1 n6_a_lob_a01_1->n6_a_lob_a01_6 n6_a_lob_a01_9 PURQ n6_a_lob_a01_1->n6_a_lob_a01_9 n6_a_lob_a01_11 PUNC n6_a_lob_a01_1->n6_a_lob_a01_11 n6_a_lob_a01_2->n6_a_lob_a01_3 n6_a_lob_a01_4->n6_a_lob_a01_5 n6_a_lob_a01_7 NS n6_a_lob_a01_6->n6_a_lob_a01_7 n6_a_lob_a01_7->n6_a_lob_a01_8 n6_a_lob_a01_9->n6_a_lob_a01_10 n6_a_lob_a01_11->n6_a_lob_a01_12 
( (IP-IMP (PULQ <lquo>)
          (VB;_Tn_ Abolish;{abolish})
          (NP-OB1 (NS Lords;{lord}))
          (PURQ <rquo>)
          (PUNC .))
  (ID 6_a_lob_a01))