( (CP-QUE-MAT (IP-INF (ADVP-NIM (WADV Why;{why}))
                      (VB;__ pick;{pick})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (D a;{a})
                                  (ADJP (ADJ single;{single}))
                                  (N mother;{mother})
                                  (PP (P-ROLE with;{with})
                                      (NP (D a;{a})
                                          (ADJP (ADJ young;{young}))
                                          (N son;{son}))))))
              (PUNC ?))
  (ID 143_a_loosechange))

arc(r_0143_0002__pick,r_0143_0001__Why,nim).
arc(r_0143_0002__pick,r_0143_0004__a_r_0143_0006__mother,r_0143_0003__on__clr).
arc(r_0143_0002__pick,z_0143_5002,arg0).
arc(r_0143_0004__a_r_0143_0006__mother,r_0143_0005__single,attrib).
arc(r_0143_0004__a_r_0143_0006__mother,r_0143_0008__a_r_0143_0010__son,r_0143_0007__with).
arc(r_0143_0008__a_r_0143_0010__son,r_0143_0009__young,attrib).

fof(formula,axiom,
    ? [R_0143_0001__WHY,R_0143_0005__SINGLE,R_0143_0009__YOUNG,R_0143_0008__A_R_0143_0010__SON,R_0143_0004__A_R_0143_0006__MOTHER,Z_0143_5002,R_0143_0002__PICK] :
      ( r_0143_0001__Why(R_0143_0001__WHY)
      & r_0143_0005__single(R_0143_0005__SINGLE)
      & r_0143_0009__young(R_0143_0009__YOUNG)
      & z_0143_5002(Z_0143_5002)
      & r_0143_0002__pick(R_0143_0002__PICK)
      & has_arg0(R_0143_0002__PICK,Z_0143_5002)
      & has_r_0143_0003__on__clr(R_0143_0002__PICK,R_0143_0004__A_R_0143_0006__MOTHER)
      & r_0143_0004__a_r_0143_0006__mother(R_0143_0004__A_R_0143_0006__MOTHER)
      & has_r_0143_0007__with(R_0143_0004__A_R_0143_0006__MOTHER,R_0143_0008__A_R_0143_0010__SON)
      & r_0143_0008__a_r_0143_0010__son(R_0143_0008__A_R_0143_0010__SON)
      & has_attrib(R_0143_0008__A_R_0143_0010__SON,R_0143_0009__YOUNG)
      & has_attrib(R_0143_0004__A_R_0143_0006__MOTHER,R_0143_0005__SINGLE)
      & has_nim(R_0143_0002__PICK,R_0143_0001__WHY) ) ).