Context                Previous, Next                Top


101_a_hedgehog
Multa novit vulpes, verum echinus unum magnum, Madam Deputy Speaker.

n101_a_hedgehog n101_a_hedgehog__1_1_1 Multa n101_a_hedgehog__1_2_1 novit n101_a_hedgehog__1_3_1 vulpes n101_a_hedgehog__1_4_1 , n101_a_hedgehog__1_5_1 verum n101_a_hedgehog__1_6_1 echinus n101_a_hedgehog__1_7_1 unum n101_a_hedgehog__1_8_1 magnum n101_a_hedgehog__1_9_1 , n101_a_hedgehog__1_10_1_1_1 Madam n101_a_hedgehog__1_10_1_2_1 Deputy n101_a_hedgehog__1_10_1_3_1 Speaker n101_a_hedgehog__1_11_1 . n101_a_hedgehog__1 IP-MAT n101_a_hedgehog__1_1 FW n101_a_hedgehog__1->n101_a_hedgehog__1_1 n101_a_hedgehog__1_2 FW n101_a_hedgehog__1->n101_a_hedgehog__1_2 n101_a_hedgehog__1_3 FW n101_a_hedgehog__1->n101_a_hedgehog__1_3 n101_a_hedgehog__1_4 PUNC n101_a_hedgehog__1->n101_a_hedgehog__1_4 n101_a_hedgehog__1_5 FW n101_a_hedgehog__1->n101_a_hedgehog__1_5 n101_a_hedgehog__1_6 FW n101_a_hedgehog__1->n101_a_hedgehog__1_6 n101_a_hedgehog__1_7 FW n101_a_hedgehog__1->n101_a_hedgehog__1_7 n101_a_hedgehog__1_8 FW n101_a_hedgehog__1->n101_a_hedgehog__1_8 n101_a_hedgehog__1_9 PUNC n101_a_hedgehog__1->n101_a_hedgehog__1_9 n101_a_hedgehog__1_10 PRN n101_a_hedgehog__1->n101_a_hedgehog__1_10 n101_a_hedgehog__1_11 PUNC n101_a_hedgehog__1->n101_a_hedgehog__1_11 n101_a_hedgehog__1_1->n101_a_hedgehog__1_1_1 n101_a_hedgehog__1_2->n101_a_hedgehog__1_2_1 n101_a_hedgehog__1_3->n101_a_hedgehog__1_3_1 n101_a_hedgehog__1_4->n101_a_hedgehog__1_4_1 n101_a_hedgehog__1_5->n101_a_hedgehog__1_5_1 n101_a_hedgehog__1_6->n101_a_hedgehog__1_6_1 n101_a_hedgehog__1_7->n101_a_hedgehog__1_7_1 n101_a_hedgehog__1_8->n101_a_hedgehog__1_8_1 n101_a_hedgehog__1_9->n101_a_hedgehog__1_9_1 n101_a_hedgehog__1_10_1 NP n101_a_hedgehog__1_10->n101_a_hedgehog__1_10_1 n101_a_hedgehog__1_10_1_1 NPR n101_a_hedgehog__1_10_1->n101_a_hedgehog__1_10_1_1 n101_a_hedgehog__1_10_1_2 NPR n101_a_hedgehog__1_10_1->n101_a_hedgehog__1_10_1_2 n101_a_hedgehog__1_10_1_3 NPR n101_a_hedgehog__1_10_1->n101_a_hedgehog__1_10_1_3 n101_a_hedgehog__1_10_1_1->n101_a_hedgehog__1_10_1_1_1 n101_a_hedgehog__1_10_1_2->n101_a_hedgehog__1_10_1_2_1 n101_a_hedgehog__1_10_1_3->n101_a_hedgehog__1_10_1_3_1 n101_a_hedgehog__1_11->n101_a_hedgehog__1_11_1 
( (IP-MAT (FW Multa)
          (FW novit)
          (FW vulpes)
          (PUNC ,)
          (FW verum)
          (FW echinus)
          (FW unum)
          (FW magnum)
          (PUNC ,)
          (PRN (NP (NPR Madam;{Madam})
                   (NPR Deputy;{Deputy})
                   (NPR Speaker;{Speaker})))
          (PUNC .))
  (ID 101_a_hedgehog;speaker=Stewart))


%3 z_0101_5003 z_0101_5002 z_0101_5003->z_0101_5002 [arg0] r_0101_0010__Madam_r_0101_0011__Deputy_r_0101_0012__Speaker Madam Deputy Speaker z_0101_5003->r_0101_0010__Madam_r_0101_0011__Deputy_r_0101_0012__Speaker [prn] 
arc(z_0101_5003,r_0101_0010__Madam_r_0101_0011__Deputy_r_0101_0012__Speaker,prn).
arc(z_0101_5003,z_0101_5002,arg0).


%3 z_0101_5003 r_0101_0010__Madam_r_0101_0011__Deputy_r_0101_0012__Speaker Madam Deputy Speaker z_0101_5003->r_0101_0010__Madam_r_0101_0011__Deputy_r_0101_0012__Speaker [prn] z_0101_5002 z_0101_5003->z_0101_5002 [arg0] 
fof(formula,axiom,
    ? [R_0101_0010__MADAM_R_0101_0011__DEPUTY_R_0101_0012__SPEAKER,Z_0101_5002,Z_0101_5003] :
      ( r_0101_0010__Madam_r_0101_0011__Deputy_r_0101_0012__Speaker(R_0101_0010__MADAM_R_0101_0011__DEPUTY_R_0101_0012__SPEAKER)
      & z_0101_5002(Z_0101_5002)
      & z_0101_5003(Z_0101_5003)
      & has_arg0(Z_0101_5003,Z_0101_5002)
      & has_prn(Z_0101_5003,R_0101_0010__MADAM_R_0101_0011__DEPUTY_R_0101_0012__SPEAKER) ) ).