arc(r_0006_0002__has, r_0006_0001__It, arg0).
arc(r_0006_0002__has, r_0006_0003__an_r_0006_0005__strap, arg1).
arc(r_0006_0003__an_r_0006_0005__strap, r_0006_0004__adjustable, attrib12).
arc(r_0006_0009__can, r_0006_0007__so, nim21).
arc(r_0006_0009__can, r_0006_0010__wear, scope).
arc(r_0006_0010__wear, r_0006_0008__you, arg0).
arc(r_0006_0010__wear, r_0006_0011__it, arg1).
arc(r_0006_0010__wear, r_0006_0012__anyway, nim36).
arc(r_0006_0014__want, r_0006_0008__you, arg0).
arc(r_0006_0014__want, r_0006_1001____star__, arg1).
arc(r_0006_1001____star__, r_0006_0008__you, arg0).
arc(r_0006_1001____star__, r_0006_0012__anyway, nim46).
arc(z_000_6_a_toeic_2, r_0006_0002__has, conj1).
arc(z_000_6_a_toeic_2, r_0006_0009__can, conj2).

fof(formula,axiom,
    ? [R_0006_0008__YOU,R_0006_0012__ANYWAY,R_0006_1001____STAR__,R_0006_0014__WANT,R_0006_0001__IT,R_0006_0004__ADJUSTABLE,R_0006_0003__AN_R_0006_0005__STRAP,R_0006_0002__HAS,R_0006_0007__SO,R_0006_0011__IT,R_0006_0009__CAN_R_0006_0010__WEAR,Z_000_6_A_TOEIC_2] :
      ( r_0006_0001__It(R_0006_0001__IT)
      & r_0006_0004__adjustable(R_0006_0004__ADJUSTABLE)
      & r_0006_0007__so(R_0006_0007__SO)
      & r_0006_0008__you(R_0006_0008__YOU)
      & r_0006_0011__it(R_0006_0011__IT)
      & r_0006_0012__anyway(R_0006_0012__ANYWAY)
      & z_000_6_a_toeic_2(Z_000_6_A_TOEIC_2)
      & has_conj2(Z_000_6_A_TOEIC_2,R_0006_0009__CAN_R_0006_0010__WEAR)
      & r_0006_0009__can_r_0006_0010__wear(R_0006_0009__CAN_R_0006_0010__WEAR)
      & has_nim36(R_0006_0009__CAN_R_0006_0010__WEAR,R_0006_0012__ANYWAY)
      & has_arg1(R_0006_0009__CAN_R_0006_0010__WEAR,R_0006_0011__IT)
      & has_arg0(R_0006_0009__CAN_R_0006_0010__WEAR,R_0006_0008__YOU)
      & has_nim21(R_0006_0009__CAN_R_0006_0010__WEAR,R_0006_0007__SO)
      & has_conj1(Z_000_6_A_TOEIC_2,R_0006_0002__HAS)
      & r_0006_0002__has(R_0006_0002__HAS)
      & has_arg1(R_0006_0002__HAS,R_0006_0003__AN_R_0006_0005__STRAP)
      & r_0006_0003__an_r_0006_0005__strap(R_0006_0003__AN_R_0006_0005__STRAP)
      & has_attrib12(R_0006_0003__AN_R_0006_0005__STRAP,R_0006_0004__ADJUSTABLE)
      & has_arg0(R_0006_0002__HAS,R_0006_0001__IT)
      & r_0006_0014__want(R_0006_0014__WANT)
      & has_arg1(R_0006_0014__WANT,R_0006_1001____STAR__)
      & r_0006_1001____star__(R_0006_1001____STAR__)
      & has_nim46(R_0006_1001____STAR__,R_0006_0012__ANYWAY)
      & has_arg0(R_0006_1001____STAR__,R_0006_0008__YOU)
      & has_arg0(R_0006_0014__WANT,R_0006_0008__YOU) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PURSE_TWO} (PRO It;{it}))
                      (HVP;_Tn_ has;{have})
                      (NP-OB1 (D an;{an})
                              (ADJP (ADJ adjustable;{adjustable}))
                              (N strap;{strap})))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ (PRO you;{you}))
                             (MD;_cat_Vi_ can;{can})
                             (IP-INF-CAT (ILYR (VB;_Tn_ wear;{wear})
                                               (NP-OB1;{PURSE_TWO} (PRO it;{it}))
                                               (NP-NIM (D;_nphd_ anyway;{anyway})
                                                       (IP-REL (NP-SBJ (PRO you;{you}))
                                                               (VBP;_Tt_ want;{want})
                                                               (IP-INF-OB1 (NP-NIM *T*)
                                                                           (VB _*_)))))))))
          (PUNC .))
  (ID 6_a_toeic;32-34;speaker=retailer))