arc(r_0143_0002__pick, r_0143_0004__a_r_0143_0006__mother, r_0143_0003__on_clr15).
arc(r_0143_0002__pick, r_0143_1001____star__, arg0).
arc(r_0143_0004__a_r_0143_0006__mother, r_0143_0005__single, attrib18).
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, attrib29).
arc(z_000_143_a_loosechange_2, r_0143_0001__Why, nim3).
arc(z_000_143_a_loosechange_2, r_0143_0002__pick, scope).

fof(formula,axiom,
    ? [Z_143_A_LOOSECHANGE_2_PICK,R_143_1001__STAR_,R_143_1_WHY,R_143_4_A_MOTHER,R_143_5_SINGLE,R_143_8_A_SON,R_143_9_YOUNG] :
      ( _star_(R_143_1001__STAR_)
      & why(R_143_1_WHY)
      & single(R_143_5_SINGLE)
      & young(R_143_9_YOUNG)
      & z_143_a_loosechange_2_pick(Z_143_A_LOOSECHANGE_2_PICK,R_143_1001__STAR_)
      & nim3(Z_143_A_LOOSECHANGE_2_PICK,R_143_1_WHY)
      & on_clr15(Z_143_A_LOOSECHANGE_2_PICK,R_143_4_A_MOTHER)
      & a_mother(R_143_4_A_MOTHER)
      & attrib18(R_143_4_A_MOTHER,R_143_5_SINGLE)
      & with(R_143_4_A_MOTHER,R_143_8_A_SON)
      & a_son(R_143_8_A_SON)
      & attrib29(R_143_8_A_SON,R_143_9_YOUNG) ) ).

( (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV Why;{why}))
                      (NP-SBJ;{LAYLOR} (PRO _*_))
                      (IP-INF-CAT (VB;_Ipr_ pick;{pick[on]})
                                  (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))