49_a_hedgehog
I was also rather surprised to learn that we should not leave milk and bread out for hedgehogs.
arc(r_0049_0002__was, r_0049_0001__I, arg0).
arc(r_0049_0002__was, r_0049_0003__also, nim7).
arc(r_0049_0002__was, r_0049_0004__rather, nim10).
arc(r_0049_0002__was, r_0049_0005__surprised, prd).
arc(r_0049_0005__surprised, r_0049_0006__to_r_0049_0007__learn, emb16).
arc(r_0049_0006__to_r_0049_0007__learn, r_0049_0008__that_r_0049_0010__should, arg1).
arc(r_0049_0006__to_r_0049_0007__learn, r_0049_0011__not, arg1).
arc(r_0049_0006__to_r_0049_0007__learn, z_000_49_a_hedgehog_16, arg0).
arc(r_0049_0008__that_r_0049_0010__should, r_0049_0012__leave_r_0049_0016__out, scope).
arc(r_0049_0011__not, r_0049_0008__that_r_0049_0010__should, keep_scope).
arc(r_0049_0012__leave_r_0049_0016__out, r_0049_0009__we, arg0).
arc(r_0049_0012__leave_r_0049_0016__out, r_0049_0014__and, arg1).
arc(r_0049_0012__leave_r_0049_0016__out, r_0049_0018__hedgehogs, r_0049_0017__for_nim51).
arc(r_0049_0014__and, r_0049_0013__milk, conj1).
arc(r_0049_0014__and, r_0049_0015__bread, conj2).
fof(formula,axiom,
? [R_0049_0001__I,R_0049_0003__ALSO,R_0049_0004__RATHER,R_0049_0009__WE,R_0049_0013__MILK,R_0049_0015__BREAD,R_0049_0014__AND,R_0049_0018__HEDGEHOGS,R_0049_0008__THAT_R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT,Z_000_49_A_HEDGEHOG_16,R_0049_0006__TO_R_0049_0007__LEARN,R_0049_0005__SURPRISED,R_0049_0002__WAS] :
( r_0049_0001__I(R_0049_0001__I)
& r_0049_0003__also(R_0049_0003__ALSO)
& r_0049_0004__rather(R_0049_0004__RATHER)
& r_0049_0009__we(R_0049_0009__WE)
& r_0049_0013__milk(R_0049_0013__MILK)
& r_0049_0015__bread(R_0049_0015__BREAD)
& r_0049_0018__hedgehogs(R_0049_0018__HEDGEHOGS)
& z_000_49_a_hedgehog_16(Z_000_49_A_HEDGEHOG_16)
& r_0049_0002__was(R_0049_0002__WAS)
& has_prd(R_0049_0002__WAS,R_0049_0005__SURPRISED)
& r_0049_0005__surprised(R_0049_0005__SURPRISED)
& has_emb16(R_0049_0005__SURPRISED,R_0049_0006__TO_R_0049_0007__LEARN)
& r_0049_0006__to_r_0049_0007__learn(R_0049_0006__TO_R_0049_0007__LEARN)
& has_arg0(R_0049_0006__TO_R_0049_0007__LEARN,Z_000_49_A_HEDGEHOG_16)
& has_arg1(R_0049_0006__TO_R_0049_0007__LEARN,R_0049_0011__NOT)
& ~ r_0049_0008__that_r_0049_0010__should_r_0049_0012__leave_r_0049_0016__out(R_0049_0008__THAT_R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT)
& has_arg1(R_0049_0006__TO_R_0049_0007__LEARN,R_0049_0008__THAT_R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT)
& r_0049_0008__that_r_0049_0010__should_r_0049_0012__leave_r_0049_0016__out(R_0049_0008__THAT_R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT)
& has_r_0049_0017__for_nim51(R_0049_0008__THAT_R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT,R_0049_0018__HEDGEHOGS)
& has_arg1(R_0049_0008__THAT_R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT,R_0049_0014__AND)
& r_0049_0014__and(R_0049_0014__AND)
& has_conj2(R_0049_0014__AND,R_0049_0015__BREAD)
& has_conj1(R_0049_0014__AND,R_0049_0013__MILK)
& has_arg0(R_0049_0008__THAT_R_0049_0010__SHOULD_R_0049_0012__LEAVE_R_0049_0016__OUT,R_0049_0009__WE)
& has_nim10(R_0049_0002__WAS,R_0049_0004__RATHER)
& has_nim7(R_0049_0002__WAS,R_0049_0003__ALSO)
& has_arg0(R_0049_0002__WAS,R_0049_0001__I) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(BED;_La_ was;{be})
(ADVP-NIM (ADV also;{also}))
(ADVP-NIM (ADV rather;{rather}))
(ADJP-PRD (ADJ;_cat_ surprised;{surprised})
(IP-INF (TO to;{to})
(VB;_Tf_ learn;{learn})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (PRO we;{we}))
(MD;_cat_Vi_ should;{shall})
(NEG not;{not})
(IP-INF-CAT (VB;_phr_Vn<=>p_ leave;{leave[put]})
(NP-OB1 (NLYR (NLYR (N milk;{milk}))
(CONJP (CONJ and;{and})
(NLYR (N bread;{bread})))))
(RP out;{out})
(PP-NIM (P-ROLE for;{for})
(NP;{HEDGEHOGS} (NS hedgehogs;{hedgehog}))))))))
(PUNC .))
(ID 49_a_hedgehog;speaker=Colvile))