179_a_wilde_1_1888
You would be quite blind then.”
( (IP-MAT (NP-SBJ;{PRINCE} (PRO You;{you}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (BE;_La_ be;{be})
(ADJP-PRD (ADVP (ADV quite;{quite}))
(ADJ blind;{blind}))
(ADVP-NIM (ADV then;{then})))
(PUNC .)
(PURQ <rdquo>))
(ID 179_a_wilde_1_1888))
arc(r_0179_0002__would,r_0179_0003__be,scope).
arc(r_0179_0003__be,r_0179_0001__You,arg0).
arc(r_0179_0003__be,r_0179_0005__blind,prd).
arc(r_0179_0003__be,r_0179_0006__then,nim).
arc(r_0179_0005__blind,r_0179_0004__quite,qual).
fof(formula,axiom,
? [R_0179_0001__YOU,R_0179_0004__QUITE,R_0179_0005__BLIND,R_0179_0006__THEN,R_0179_0002__WOULD_R_0179_0003__BE] :
( r_0179_0001__You(R_0179_0001__YOU)
& r_0179_0004__quite(R_0179_0004__QUITE)
& r_0179_0006__then(R_0179_0006__THEN)
& r_0179_0002__would_r_0179_0003__be(R_0179_0002__WOULD_R_0179_0003__BE)
& has_nim(R_0179_0002__WOULD_R_0179_0003__BE,R_0179_0006__THEN)
& has_prd(R_0179_0002__WOULD_R_0179_0003__BE,R_0179_0005__BLIND)
& r_0179_0005__blind(R_0179_0005__BLIND)
& has_qual(R_0179_0005__BLIND,R_0179_0004__QUITE)
& has_arg0(R_0179_0002__WOULD_R_0179_0003__BE,R_0179_0001__YOU) ) ).