( (CP-QUE-MAT (IP-SUB (NP-118 (WPRO What;{what}))
                      (MD;_cat_Vi_ should;{shall})
                      (NP-SBJ (PRO we;{we}))
                      (IP-INF-CAT (NP-OB1 *ICH*-118)
                                  (VB;_Tn_ wear;{wear})
                                  (PP-NIM (P-ROLE to;{to})
                                          (NP (D;_nphd_ this;{this})))))
              (PUNC ?))
  (ID 12_a_fce_0100_2001_06))

arc(r_0012_0002__should,r_0012_0004__wear,scope).
arc(r_0012_0004__wear,r_0012_0001__What,arg1).
arc(r_0012_0004__wear,r_0012_0003__we,arg0).
arc(r_0012_0004__wear,r_0012_0006__this,r_0012_0005__to__nim).

fof(formula,axiom,
    ? [R_0012_0001__WHAT,R_0012_0003__WE,R_0012_0006__THIS,R_0012_0002__SHOULD_R_0012_0004__WEAR] :
      ( r_0012_0001__What(R_0012_0001__WHAT)
      & r_0012_0003__we(R_0012_0003__WE)
      & r_0012_0006__this(R_0012_0006__THIS)
      & r_0012_0002__should_r_0012_0004__wear(R_0012_0002__SHOULD_R_0012_0004__WEAR)
      & has_r_0012_0005__to__nim(R_0012_0002__SHOULD_R_0012_0004__WEAR,R_0012_0006__THIS)
      & has_arg0(R_0012_0002__SHOULD_R_0012_0004__WEAR,R_0012_0003__WE)
      & has_arg1(R_0012_0002__SHOULD_R_0012_0004__WEAR,R_0012_0001__WHAT) ) ).