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,
    ? [Z_201_A_DICK_1952_34,R_201_13_EXAMINING,R_201_14_A_PIECE,R_201_17_WOOD,R_201_11_SAID,UTTERANCE_201_A_DICK_1952_4,R_201_3_THINK,R_201_10_TANCE,R_201_5_WAS,R_201_4_THIS,R_201_6_A_FARM] :
      ( wood(R_201_17_WOOD)
      & tance(R_201_10_TANCE)
      & this(R_201_4_THIS)
      & a_farm(R_201_6_A_FARM)
      & z_201_a_dick_1952_34(Z_201_A_DICK_1952_34)
      & conj1(Z_201_A_DICK_1952_34,R_201_13_EXAMINING)
      & examining(R_201_13_EXAMINING,R_201_10_TANCE,R_201_14_A_PIECE)
      & a_piece(R_201_14_A_PIECE)
      & of(R_201_14_A_PIECE,R_201_17_WOOD)
      & conj2(Z_201_A_DICK_1952_34,R_201_11_SAID)
      & said(R_201_11_SAID,R_201_10_TANCE,UTTERANCE_201_A_DICK_1952_4)
      & utterance_201_a_dick_1952_4(UTTERANCE_201_A_DICK_1952_4)
      & part1(UTTERANCE_201_A_DICK_1952_4,R_201_3_THINK)
      & think(R_201_3_THINK,R_201_10_TANCE,R_201_5_WAS)
      & was(R_201_5_WAS,R_201_4_THIS,R_201_6_A_FARM) ) ).

( (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))