( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{COTTER} (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO;_expletive_ it;{it}))
                              (BED;_Ln_ was;{be})
                              (NP-PRD (NUM one;{one})
                                      (PP (P-ROLE of;{of})
                                          (NP (D those;{those})
                                              (PUNC ...)
                                              (ADJP (ADJ peculiar;{peculiar}))
                                              (NS cases;{case})
                                              (PUNC ...))))))
          (PUNC .))
  (ID 18_a_joyce_1914))

arc(r_0018_0003__think,r_0018_0002__I,arg0).
arc(r_0018_0003__think,r_0018_0005__was,arg1).
arc(r_0018_0005__was,r_0018_0006__one,prd).
arc(r_0018_0006__one,r_0018_0008__those_r_0018_0011__cases,r_0018_0007__of).
arc(r_0018_0008__those_r_0018_0011__cases,r_0018_0010__peculiar,attrib).

fof(formula,axiom,
    ? [R_0018_0002__I,R_0018_0010__PECULIAR,R_0018_0008__THOSE_R_0018_0011__CASES,R_0018_0006__ONE,R_0018_0005__WAS,R_0018_0003__THINK] :
      ( r_0018_0002__I(R_0018_0002__I)
      & r_0018_0010__peculiar(R_0018_0010__PECULIAR)
      & r_0018_0003__think(R_0018_0003__THINK)
      & has_arg1(R_0018_0003__THINK,R_0018_0005__WAS)
      & r_0018_0005__was(R_0018_0005__WAS)
      & has_prd(R_0018_0005__WAS,R_0018_0006__ONE)
      & r_0018_0006__one(R_0018_0006__ONE)
      & has_r_0018_0007__of(R_0018_0006__ONE,R_0018_0008__THOSE_R_0018_0011__CASES)
      & r_0018_0008__those_r_0018_0011__cases(R_0018_0008__THOSE_R_0018_0011__CASES)
      & has_attrib(R_0018_0008__THOSE_R_0018_0011__CASES,R_0018_0010__PECULIAR)
      & has_arg0(R_0018_0003__THINK,R_0018_0002__I) ) ).