90_a_ted_talk_11
So why is this?
arc(r_0090_0002__why, r_0090_0001__So, qual4).
arc(r_0090_0003__is, r_0090_0002__why, clr3).
arc(r_0090_0003__is, r_0090_0004__this, arg0).
fof(formula,axiom,
? [R_90_3_IS,R_90_4_THIS,R_90_2_WHY,R_90_1_SO] :
( this(R_90_4_THIS)
& so(R_90_1_SO)
& is(R_90_3_IS,R_90_4_THIS)
& clr3(R_90_3_IS,R_90_2_WHY)
& why(R_90_2_WHY)
& qual4(R_90_2_WHY,R_90_1_SO) ) ).
( (CP-QUE-MAT (IP-SUB (ADVP-CLR (ADVP (ADV So;{so}))
(WADV why;{why}))
(BEP;_Ip_ is;{be})
(NP-SBJ (D;_nphd_ this;{this})))
(PUNC ?))
(ID 90_a_ted_talk_11))