arc(utterance_201_a_dick_1952_4, r_0201_0003__think, part1).
arc(r_0201_0003__think, r_0201_0005__was, arg1).
arc(r_0201_0003__think, r_0201_0010__Tance, arg0).
arc(r_0201_0005__was, r_0201_0004__this, arg0).
arc(r_0201_0005__was, r_0201_0006__a_r_0201_0007__farm, prd).
arc(r_0201_0011__said, utterance_201_a_dick_1952_4, arg1).
arc(r_0201_0011__said, r_0201_0010__Tance, arg0).
arc(r_0201_0013__examining, r_0201_0010__Tance, arg0).
arc(r_0201_0013__examining, r_0201_0014__a_r_0201_0015__piece, arg1).
arc(r_0201_0014__a_r_0201_0015__piece, r_0201_0017__wood, r_0201_0016__of).
arc(z_000_201_a_dick_1952_34, r_0201_0011__said, scope).
arc(z_000_201_a_dick_1952_34, r_0201_0013__examining, restriction).

fof(formula,axiom,
    ? [R_0201_0004__THIS,R_0201_0006__A_R_0201_0007__FARM,R_0201_0005__WAS,R_0201_0010__TANCE,R_0201_0003__THINK,UTTERANCE_201_A_DICK_1952_4,R_0201_0011__SAID,R_0201_0017__WOOD,R_0201_0014__A_R_0201_0015__PIECE,R_0201_0013__EXAMINING,Z_000_201_A_DICK_1952_34] :
      ( r_0201_0004__this(R_0201_0004__THIS)
      & r_0201_0006__a_r_0201_0007__farm(R_0201_0006__A_R_0201_0007__FARM)
      & r_0201_0010__Tance(R_0201_0010__TANCE)
      & r_0201_0017__wood(R_0201_0017__WOOD)
      & z_000_201_a_dick_1952_34(Z_000_201_A_DICK_1952_34)
      & has_conj1(Z_000_201_A_DICK_1952_34,R_0201_0013__EXAMINING)
      & r_0201_0013__examining(R_0201_0013__EXAMINING)
      & has_arg1(R_0201_0013__EXAMINING,R_0201_0014__A_R_0201_0015__PIECE)
      & r_0201_0014__a_r_0201_0015__piece(R_0201_0014__A_R_0201_0015__PIECE)
      & has_r_0201_0016__of(R_0201_0014__A_R_0201_0015__PIECE,R_0201_0017__WOOD)
      & has_arg0(R_0201_0013__EXAMINING,R_0201_0010__TANCE)
      & has_conj2(Z_000_201_A_DICK_1952_34,R_0201_0011__SAID)
      & r_0201_0011__said(R_0201_0011__SAID)
      & has_arg0(R_0201_0011__SAID,R_0201_0010__TANCE)
      & has_arg1(R_0201_0011__SAID,UTTERANCE_201_A_DICK_1952_4)
      & utterance_201_a_dick_1952_4(UTTERANCE_201_A_DICK_1952_4)
      & has_part1(UTTERANCE_201_A_DICK_1952_4,R_0201_0003__THINK)
      & r_0201_0003__think(R_0201_0003__THINK)
      & has_arg0(R_0201_0003__THINK,R_0201_0010__TANCE)
      & has_arg1(R_0201_0003__THINK,R_0201_0005__WAS)
      & r_0201_0005__was(R_0201_0005__WAS)
      & has_prd(R_0201_0005__WAS,R_0201_0006__A_R_0201_0007__FARM)
      & has_arg0(R_0201_0005__WAS,R_0201_0004__THIS) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{TANCE} (PRO I;{I}))
                                 (VBP;_Tf_ think;{think})
                                 (CP-THT-OB1 (IP-SUB (NP-SBJ (D;_nphd_ this;{this}))
                                                     (BED;_Ln_ was;{be})
                                                     (NP-PRD (D a;{a})
                                                             (N farm;{farm}))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
          (VBD;_Tr_ said;{say})
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ examining;{examine})
                            (NP-OB1 (D a;{a})
                                    (N piece;{piece})
                                    (PP (P-ROLE of;{of})
                                        (NP (N wood;{wood}))))))
          (PUNC .))
  (ID 201_a_dick_1952))