arc(utterance_32_a_dick_1952_4, r_0032_0003__think, part1).
arc(r_0032_0003__think, r_0032_0005__can, arg1).
arc(r_0032_0003__think, r_0032_0009__the_r_0032_0010__Captain, arg0).
arc(r_0032_0005__can, r_0032_0006__guess, scope).
arc(r_0032_0006__guess, r_0032_0009__the_r_0032_0010__Captain, arg0).
arc(r_0032_0011__answered, utterance_32_a_dick_1952_4, arg1).
arc(r_0032_0011__answered, r_0032_0009__the_r_0032_0010__Captain, arg0).

fof(formula,axiom,
    ? [R_0032_0009__THE_R_0032_0010__CAPTAIN,R_0032_0005__CAN_R_0032_0006__GUESS,R_0032_0003__THINK,UTTERANCE_32_A_DICK_1952_4,R_0032_0011__ANSWERED] :
      ( r_0032_0009__the_r_0032_0010__Captain(R_0032_0009__THE_R_0032_0010__CAPTAIN)
      & r_0032_0011__answered(R_0032_0011__ANSWERED)
      & has_arg0(R_0032_0011__ANSWERED,R_0032_0009__THE_R_0032_0010__CAPTAIN)
      & has_arg1(R_0032_0011__ANSWERED,UTTERANCE_32_A_DICK_1952_4)
      & utterance_32_a_dick_1952_4(UTTERANCE_32_A_DICK_1952_4)
      & has_part1(UTTERANCE_32_A_DICK_1952_4,R_0032_0003__THINK)
      & r_0032_0003__think(R_0032_0003__THINK)
      & has_arg0(R_0032_0003__THINK,R_0032_0009__THE_R_0032_0010__CAPTAIN)
      & has_arg1(R_0032_0003__THINK,R_0032_0005__CAN_R_0032_0006__GUESS)
      & r_0032_0005__can_r_0032_0006__guess(R_0032_0005__CAN_R_0032_0006__GUESS)
      & has_arg0(R_0032_0005__CAN_R_0032_0006__GUESS,R_0032_0009__THE_R_0032_0010__CAPTAIN) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{CAPTAIN} (PRO I;{I}))
                                 (VBP;_Tf_ think;{think})
                                 (CP-THT-OB1 (IP-SUB (NP-SBJ;{CAPTAIN} (PRO I;{I}))
                                                     (MD;_cat_Vi_ can;{can})
                                                     (IP-INF-CAT (VB;_I_ guess;{guess}))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{CAPTAIN} (D the;{the})
                            (N Captain;{captain}))
          (VBD;_Tr_ answered;{answer})
          (PUNC .))
  (ID 32_a_dick_1952))