96_a_saint_exupery_1943
“Because where I live everything is very small...”
arc(r_0096_0002__Because, r_0096_0006__everything_quant, restriction).
arc(r_0096_0002__Because, z_000_96_a_saint_exupery_1943_1, scope).
arc(r_0096_0005__live, r_0096_0004__I, arg0).
arc(r_0096_0005__live, z_000_96_a_saint_exupery_1943_8, nim10).
arc(r_0096_0006__everything_quant, r_0096_0007__is, scope).
arc(r_0096_0006__everything_quant, z_000_96_a_saint_exupery_1943_18, restriction).
arc(r_0096_0007__is, r_0096_0009__small, prd).
arc(r_0096_0007__is, z_000_96_a_saint_exupery_1943_18, arg0).
arc(r_0096_0007__is, z_000_96_a_saint_exupery_1943_8, nim8).
arc(r_0096_0009__small, r_0096_0008__very, qual24).
fof(formula,axiom,
? [R_96_2_BECAUSE,Z_96_A_SAINT_EXUPERY_1943_1,R_96_5_LIVE,R_96_4_I,Z_96_A_SAINT_EXUPERY_1943_8] :
( i(R_96_4_I)
& ! [Z_96_A_SAINT_EXUPERY_1943_18] :
( true
=> ? [R_96_7_IS,R_96_9_SMALL,R_96_8_VERY] :
( very(R_96_8_VERY)
& is(R_96_7_IS,Z_96_A_SAINT_EXUPERY_1943_18,R_96_9_SMALL)
& small(R_96_9_SMALL)
& qual24(R_96_9_SMALL,R_96_8_VERY)
& nim8(R_96_7_IS,Z_96_A_SAINT_EXUPERY_1943_8) ) )
& conj1(CONJ1)
& because(R_96_2_BECAUSE)
& conj2(R_96_2_BECAUSE,Z_96_A_SAINT_EXUPERY_1943_1)
& live(R_96_5_LIVE,R_96_4_I)
& nim10(R_96_5_LIVE,Z_96_A_SAINT_EXUPERY_1943_8) ) ).
( (IP-MAT (PULQ <ldquo>)
(PP-SCON (P-CONN Because;{because})
(IP-ADV (NP-NIM (IP-REL (ADVP-NIM (RADV where;{where}))
(NP-SBJ;{PRINCE} (PRO I;{I}))
(VBP;__ live;{live})))
(NP-SBJ (Q;_nphd_ everything;{everything}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADVP (ADV very;{very}))
(ADJ small;{small}))))
(PUNC ...)
(PURQ <rdquo>))
(ID 96_a_saint_exupery_1943))