175_a_hedgehog
Ultimately, we need to understand that the hedgehog is a very prickly issue.
arc(r_0175_0004__need, r_0175_0001__Ultimately, nim2).
arc(r_0175_0004__need, r_0175_0003__we, arg0).
arc(r_0175_0004__need, r_0175_0005__to_r_0175_0006__understand, arg1).
arc(r_0175_0005__to_r_0175_0006__understand, r_0175_0003__we, arg0).
arc(r_0175_0005__to_r_0175_0006__understand, r_0175_0007__that_r_0175_0010__is, arg1).
arc(r_0175_0007__that_r_0175_0010__is, r_0175_0008__the_r_0175_0009__hedgehog, arg0).
arc(r_0175_0007__that_r_0175_0010__is, r_0175_0011__a_r_0175_0014__issue, prd).
arc(r_0175_0011__a_r_0175_0014__issue, r_0175_0013__prickly, attrib31).
arc(r_0175_0013__prickly, r_0175_0012__very, qual32).
fof(formula,axiom,
? [R_175_4_NEED,R_175_5_TO_UNDERSTAND,R_175_3_WE,R_175_7_THAT_IS,R_175_8_THE_HEDGEHOG,R_175_11_A_ISSUE,R_175_13_PRICKLY,R_175_12_VERY,R_175_1_ULTIMATELY] :
( we(R_175_3_WE)
& the_hedgehog(R_175_8_THE_HEDGEHOG)
& very(R_175_12_VERY)
& ultimately(R_175_1_ULTIMATELY)
& need(R_175_4_NEED,R_175_3_WE,R_175_5_TO_UNDERSTAND)
& to_understand(R_175_5_TO_UNDERSTAND,R_175_3_WE,R_175_7_THAT_IS)
& that_is(R_175_7_THAT_IS,R_175_8_THE_HEDGEHOG,R_175_11_A_ISSUE)
& a_issue(R_175_11_A_ISSUE)
& attrib31(R_175_11_A_ISSUE,R_175_13_PRICKLY)
& prickly(R_175_13_PRICKLY)
& qual32(R_175_13_PRICKLY,R_175_12_VERY)
& nim2(R_175_4_NEED,R_175_1_ULTIMATELY) ) ).
( (IP-MAT (ADVP-NIM (ADV Ultimately;{ultimately}))
(PUNC ,)
(NP-SBJ (PRO we;{we}))
(VBP;_Tt_ need;{need})
(IP-INF-OB1 (TO to;{to})
(VB;_Tf_ understand;{understand})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (D the;{the})
(N hedgehog;{hedgehog}))
(BEP;_Ln_ is;{be})
(NP-PRD (D a;{a})
(ADJP (ADVP (ADV very;{very}))
(ADJ prickly;{prickly}))
(N issue;{issue})))))
(PUNC .))
(ID 175_a_hedgehog;speaker=Stewart))