3_a_ted_talk_11
It's been great, hasn't it?
( (IP-MAT (NP-SBJ (PRO It;{it}))
(HVP;_cat_Ve_ <apos>s;{have})
(IP-PPL-CAT (BEN;_La_ been;{be})
(ADJP-PRD (ADJ great;{great})))
(PUNC ,)
(CP-QUE-TAG (IP-SUB (HVP;_cat_Ve_ has;{have})
(NEG;_clitic_ n<apos>t;{not})
(NP-SBJ (PRO it;{it}))))
(PUNC ?))
(ID 3_a_ted_talk_11))
arc(r_0003_0002___apos_s,r_0003_0003__been,scope).
arc(r_0003_0002___apos_s,r_0003_0007__n_apos_t,tag).
arc(r_0003_0003__been,r_0003_0001__It,arg0).
arc(r_0003_0003__been,r_0003_0004__great,prd).
arc(r_0003_0006__has,r_0003_0008__it,arg0).
arc(r_0003_0007__n_apos_t,r_0003_0006__has,keep_scope).
fof(formula,axiom,
? [R_0003_0001__IT,R_0003_0004__GREAT,R_0003_0002___APOS_S_R_0003_0003__BEEN] :
( r_0003_0001__It(R_0003_0001__IT)
& r_0003_0004__great(R_0003_0004__GREAT)
& r_0003_0002___apos_s_r_0003_0003__been(R_0003_0002___APOS_S_R_0003_0003__BEEN)
& has_prd(R_0003_0002___APOS_S_R_0003_0003__BEEN,R_0003_0004__GREAT)
& has_arg0(R_0003_0002___APOS_S_R_0003_0003__BEEN,R_0003_0001__IT)
& has_tag(R_0003_0002___APOS_S_R_0003_0003__BEEN,R_0003_0007__N_APOS_T)
& ~ ? [R_0003_0008__IT,R_0003_0006__HAS] :
( r_0003_0008__it(R_0003_0008__IT)
& r_0003_0006__has(R_0003_0006__HAS)
& has_arg0(R_0003_0006__HAS,R_0003_0008__IT) ) ) ).