513_a_dick_1952
“What's your solution, then?
arc(r_0513_0003___apos_s, r_0513_0002__What, arg0).
arc(r_0513_0003___apos_s, r_0513_0005__solution, prd).
arc(r_0513_0003___apos_s, r_0513_0007__then, nim18).
arc(r_0513_0005__solution, r_0513_0004__your, gen).
fof(formula,axiom,
? [R_0513_0002__WHAT,R_0513_0004__YOUR,R_0513_0005__SOLUTION,R_0513_0007__THEN,R_0513_0003___APOS_S] :
( r_0513_0002__What(R_0513_0002__WHAT)
& r_0513_0004__your(R_0513_0004__YOUR)
& r_0513_0007__then(R_0513_0007__THEN)
& r_0513_0003___apos_s(R_0513_0003___APOS_S)
& has_nim18(R_0513_0003___APOS_S,R_0513_0007__THEN)
& has_prd(R_0513_0003___APOS_S,R_0513_0005__SOLUTION)
& r_0513_0005__solution(R_0513_0005__SOLUTION)
& has_gen(R_0513_0005__SOLUTION,R_0513_0004__YOUR)
& has_arg0(R_0513_0003___APOS_S,R_0513_0002__WHAT) ) ).
( (CP-QUE-MAT (PULQ <ldquo>)
(IP-SUB (NP-SBJ (WPRO What;{what}))
(BEP;_Ln_ <apos>s;{be})
(NP-PRD (NP-GEN;{NASHA} (PRO;_genm_ your;{your}))
(N solution;{solution}))
(PUNC ,)
(ADVP-NIM (ADV then;{then})))
(PUNC ?))
(ID 513_a_dick_1952))