( (IP-MAT (CONJ;_cl_ But;{but})
          (PUNC ,)
          (ADVP-NIM (ADV as_usual;{as_usual}))
          (PUNC ,)
          (NP-SBJ (D;_nphd_ something;{something}))
          (VBD;_La_ went;{go})
          (ADJP-PRD (ADJ wrong;{wrong}))
          (PUNC .))
  (ID 6_a_stories_11_h38))

arc(r_0006_0006__went,r_0006_0003__as_usual,nim).
arc(r_0006_0006__went,r_0006_0005__something,arg0).
arc(r_0006_0006__went,r_0006_0007__wrong,prd).

fof(formula,axiom,
    ? [R_0006_0003__AS_USUAL,R_0006_0005__SOMETHING,R_0006_0007__WRONG,R_0006_0006__WENT] :
      ( r_0006_0003__as_usual(R_0006_0003__AS_USUAL)
      & r_0006_0005__something(R_0006_0005__SOMETHING)
      & r_0006_0007__wrong(R_0006_0007__WRONG)
      & r_0006_0006__went(R_0006_0006__WENT)
      & has_prd(R_0006_0006__WENT,R_0006_0007__WRONG)
      & has_arg0(R_0006_0006__WENT,R_0006_0005__SOMETHING)
      & has_nim(R_0006_0006__WENT,R_0006_0003__AS_USUAL) ) ).