arc(r_0030_0002__give, r_0030_0001__Headphones, arg0).
arc(r_0030_0002__give, r_0030_0003__you, arg2).
arc(r_0030_0002__give, r_0030_0004__a_r_0030_0007__way, arg1).
arc(r_0030_0004__a_r_0030_0007__way, r_0030_0006__precise, attrib13).
arc(r_0030_0004__a_r_0030_0007__way, r_0030_0008__to_r_0030_0009__pick_r_0030_0010__up, emb21).
arc(r_0030_0006__precise, r_0030_0005__more, qual14).
arc(r_0030_0008__to_r_0030_0009__pick_r_0030_0010__up, r_0030_0012__these_r_0030_0013__cues, r_0030_0011__on_clr31).
arc(r_0030_0008__to_r_0030_0009__pick_r_0030_0010__up, z_000_30_a_freedoom_21, arg0).

fof(formula,axiom,
    ? [R_0030_0001__HEADPHONES,R_0030_0003__YOU,R_0030_0005__MORE,R_0030_0006__PRECISE,R_0030_0012__THESE_R_0030_0013__CUES,Z_000_30_A_FREEDOOM_21,R_0030_0008__TO_R_0030_0009__PICK_R_0030_0010__UP,R_0030_0004__A_R_0030_0007__WAY,R_0030_0002__GIVE] :
      ( r_0030_0001__Headphones(R_0030_0001__HEADPHONES)
      & r_0030_0003__you(R_0030_0003__YOU)
      & r_0030_0005__more(R_0030_0005__MORE)
      & r_0030_0012__these_r_0030_0013__cues(R_0030_0012__THESE_R_0030_0013__CUES)
      & z_000_30_a_freedoom_21(Z_000_30_A_FREEDOOM_21)
      & r_0030_0002__give(R_0030_0002__GIVE)
      & has_arg1(R_0030_0002__GIVE,R_0030_0004__A_R_0030_0007__WAY)
      & r_0030_0004__a_r_0030_0007__way(R_0030_0004__A_R_0030_0007__WAY)
      & has_emb21(R_0030_0004__A_R_0030_0007__WAY,R_0030_0008__TO_R_0030_0009__PICK_R_0030_0010__UP)
      & r_0030_0008__to_r_0030_0009__pick_r_0030_0010__up(R_0030_0008__TO_R_0030_0009__PICK_R_0030_0010__UP)
      & has_arg0(R_0030_0008__TO_R_0030_0009__PICK_R_0030_0010__UP,Z_000_30_A_FREEDOOM_21)
      & has_r_0030_0011__on_clr31(R_0030_0008__TO_R_0030_0009__PICK_R_0030_0010__UP,R_0030_0012__THESE_R_0030_0013__CUES)
      & has_attrib13(R_0030_0004__A_R_0030_0007__WAY,R_0030_0006__PRECISE)
      & r_0030_0006__precise(R_0030_0006__PRECISE)
      & has_qual14(R_0030_0006__PRECISE,R_0030_0005__MORE)
      & has_arg2(R_0030_0002__GIVE,R_0030_0003__YOU)
      & has_arg0(R_0030_0002__GIVE,R_0030_0001__HEADPHONES) ) ).

( (IP-MAT (NP-SBJ (NS Headphones;{headphone}))
          (VBP;_Dn.n_ give;{give})
          (NP-OB2 (PRO you;{you}))
          (NP-OB1 (D a;{a})
                  (ADJP (ADVP (ADVR more;{more}))
                        (ADJ precise;{precise}))
                  (N way;{way})
                  (IP-INF (TO to;{to})
                          (VB;_phr_Vp.pr_ pick;{pick[up,on]})
                          (RP up;{up})
                          (PP-CLR (P-ROLE on;{on})
                                  (NP;{AUDIO_CUES} (D these;{these})
                                                   (NS cues;{cue})))))
          (PUNC .))
  (ID 30_a_freedoom))