101_a_hedgehog
Multa novit vulpes, verum echinus unum magnum, Madam Deputy Speaker.
arc(r_0101_0001__Multa_r_0101_0002__novit_r_0101_0003__vulpes_r_0101_0005__verum_r_0101_0006__echinus_r_0101_0007__unum_r_0101_0008__magnum, z_0000_0000, z_0000_0000).
fof(formula,axiom,
? [Z_0000_0000,R_0101_0001__MULTA_R_0101_0002__NOVIT_R_0101_0003__VULPES_R_0101_0005__VERUM_R_0101_0006__ECHINUS_R_0101_0007__UNUM_R_0101_0008__MAGNUM] :
( z_0000_0000(Z_0000_0000)
& r_0101_0001__Multa_r_0101_0002__novit_r_0101_0003__vulpes_r_0101_0005__verum_r_0101_0006__echinus_r_0101_0007__unum_r_0101_0008__magnum(R_0101_0001__MULTA_R_0101_0002__NOVIT_R_0101_0003__VULPES_R_0101_0005__VERUM_R_0101_0006__ECHINUS_R_0101_0007__UNUM_R_0101_0008__MAGNUM)
& has_z_0000_0000(R_0101_0001__MULTA_R_0101_0002__NOVIT_R_0101_0003__VULPES_R_0101_0005__VERUM_R_0101_0006__ECHINUS_R_0101_0007__UNUM_R_0101_0008__MAGNUM,Z_0000_0000) ) ).
( (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))