47_a_saint_exupery_1943
“What!”
arc(z_000_47_a_saint_exupery_1943_1, r_0047_0002__What, nim4).
fof(formula,axiom,
? [Z_47_A_SAINT_EXUPERY_1943_1,R_47_2_WHAT] :
( what(R_47_2_WHAT)
& z_47_a_saint_exupery_1943_1(Z_47_A_SAINT_EXUPERY_1943_1)
& nim4(Z_47_A_SAINT_EXUPERY_1943_1,R_47_2_WHAT) ) ).
( (FRAG (PULQ <ldquo>)
(NP (WPRO What;{what}))
(PUNC !)
(PURQ <rdquo>))
(ID 47_a_saint_exupery_1943))