367_a_dick_1952
It'll go on until it wears out.”
( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
(MD;_cat_Vi_ <apos>ll;{will})
(IP-INF-CAT (VB;_phr_Vp_ go;{go[on]})
(RP on;{on}))
(PP-SCON (P-CONN until;{until})
(IP-ADV (NP-SBJ;{GUN} (PRO it;{it}))
(VBP;_phr_Vp_ wears;{wear[out]})
(RP out;{out})))
(PUNC .)
(PURQ <rdquo>))
(ID 367_a_dick_1952))
arc(r_0367_0002___apos_ll,r_0367_0003__go_r_0367_0004__on,scope).
arc(r_0367_0003__go_r_0367_0004__on,r_0367_0001__It,arg0).
arc(r_0367_0005__until,r_0367_0002___apos_ll,scope).
arc(r_0367_0005__until,r_0367_0007__wears_r_0367_0008__out,restriction).
arc(r_0367_0007__wears_r_0367_0008__out,r_0367_0001__It,arg0).
fof(formula,axiom,
? [R_0367_0001__IT,R_0367_0002___APOS_LL_R_0367_0003__GO_R_0367_0004__ON,R_0367_0007__WEARS_R_0367_0008__OUT,R_0367_0005__UNTIL] :
( r_0367_0001__It(R_0367_0001__IT)
& r_0367_0005__until(R_0367_0005__UNTIL)
& has_conj1(R_0367_0005__UNTIL,R_0367_0007__WEARS_R_0367_0008__OUT)
& r_0367_0007__wears_r_0367_0008__out(R_0367_0007__WEARS_R_0367_0008__OUT)
& has_arg0(R_0367_0007__WEARS_R_0367_0008__OUT,R_0367_0001__IT)
& has_conj2(R_0367_0005__UNTIL,R_0367_0002___APOS_LL_R_0367_0003__GO_R_0367_0004__ON)
& r_0367_0002___apos_ll_r_0367_0003__go_r_0367_0004__on(R_0367_0002___APOS_LL_R_0367_0003__GO_R_0367_0004__ON)
& has_arg0(R_0367_0002___APOS_LL_R_0367_0003__GO_R_0367_0004__ON,R_0367_0001__IT) ) ).