( (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))

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,nim).
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_nim(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) ) ).