arc(r_0072_0003__think, r_0072_0002__I, arg0).
arc(r_0072_0003__think, r_0072_0005___apos_ll, arg1).
arc(r_0072_0005___apos_ll, r_0072_0006__go, scope).
arc(r_0072_0006__go, r_0072_0004__we, arg0).
arc(r_0072_0006__go, r_0072_0008__back, clr21).
arc(r_0072_0008__back, r_0072_0007__right, qual22).
arc(r_0072_0011__know, r_0072_0010__I, arg0).
arc(r_0072_0011__know, r_0072_0012__most_quant, arg1).
arc(r_0072_0012__most_quant, r_0072_0016__want, scope).
arc(r_0072_0012__most_quant, z_000_72_a_dick_1952_38, restriction).
arc(r_0072_0016__want, r_0072_0017__to, arg1).
arc(r_0072_0016__want, z_000_72_a_dick_1952_38, arg0).
arc(r_0072_0017__to, z_000_72_a_dick_1952_38, arg0).
arc(z_000_72_a_dick_1952_38, r_0072_0014__the_r_0072_0015__crew, r_0072_0013__of).
arc(z_000_72_a_dick_1952_4, r_0072_0003__think, conj1).
arc(z_000_72_a_dick_1952_4, r_0072_0011__know, conj2).

fof(formula,axiom,
    ? [Z_72_A_DICK_1952_4,R_72_3_THINK,R_72_2_I,R_72_5__APOS_LL_GO,R_72_4_WE,R_72_8_BACK,R_72_7_RIGHT,R_72_11_KNOW,R_72_10_I] :
      ( i(R_72_2_I)
      & we(R_72_4_WE)
      & right(R_72_7_RIGHT)
      & i(R_72_10_I)
      & z_72_a_dick_1952_4(Z_72_A_DICK_1952_4)
      & conj1(Z_72_A_DICK_1952_4,R_72_3_THINK)
      & think(R_72_3_THINK,R_72_2_I,R_72_5__APOS_LL_GO)
      & _apos_ll_go(R_72_5__APOS_LL_GO,R_72_4_WE)
      & clr21(R_72_5__APOS_LL_GO,R_72_8_BACK)
      & back(R_72_8_BACK)
      & qual22(R_72_8_BACK,R_72_7_RIGHT)
      & conj2(Z_72_A_DICK_1952_4,R_72_11_KNOW)
      & ! [Z_72_A_DICK_1952_38,R_72_14_THE_CREW] :
          ( ( the_crew(R_72_14_THE_CREW)
            & z_72_a_dick_1952_38(Z_72_A_DICK_1952_38)
            & of(Z_72_A_DICK_1952_38,R_72_14_THE_CREW) )
         => ? [R_72_16_WANT,R_72_17_TO] :
              ( want(R_72_16_WANT,Z_72_A_DICK_1952_38,R_72_17_TO)
              & to(R_72_17_TO,Z_72_A_DICK_1952_38) ) )
      & arg1(ARG1)
      & know(R_72_11_KNOW,R_72_10_I) ) ).

( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ;{CAPTAIN} (PRO I;{I}))
                      (VBP;_Tf_ think;{think})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ;{MEMBERS} (PRO we;{we}))
                                          (MD;_cat_Vi_ <apos>ll;{will})
                                          (IP-INF-CAT (VB;_Ip_ go;{go[back]})
                                                      (ADVP-CLR (ADVP (ADV right;{right}))
                                                                (ADV back;{back}))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{CAPTAIN} (PRO I;{I}))
                             (VBP;_Tf_ know;{know})
                             (CP-THT-OB1 (IP-SUB (NP-SBJ (Q;_nphd_ most;{most})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (D the;{the})
                                                                 (N crew;{crew}))))
                                                 (VBP;_Tt_ want;{want})
                                                 (IP-INF-OB1 (TO to;{to})))))))
          (PUNC .))
  (ID 72_a_dick_1952))