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

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,clr).
arc(r_0072_0008__back,r_0072_0007__right,qual).
arc(r_0072_0011__know,r_0072_0002__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_0072_5014,restriction).
arc(r_0072_0016__want,z_0072_5014,arg0).
arc(r_0072_0016__want,z_0072_5016,arg1).
arc(z_0072_5001,r_0072_0003__think,conj1).
arc(z_0072_5001,r_0072_0011__know,conj2).
arc(z_0072_5014,r_0072_0014__the_r_0072_0015__crew,r_0072_0013__of).
arc(z_0072_5016,z_0072_5014,arg0).

fof(formula,axiom,
    ? [R_0072_0002__I,R_0072_0004__WE,R_0072_0007__RIGHT,R_0072_0008__BACK,R_0072_0005___APOS_LL_R_0072_0006__GO,R_0072_0003__THINK,R_0072_0011__KNOW,Z_0072_5001] :
      ( r_0072_0002__I(R_0072_0002__I)
      & r_0072_0004__we(R_0072_0004__WE)
      & r_0072_0007__right(R_0072_0007__RIGHT)
      & z_0072_5001(Z_0072_5001)
      & has_conj2(Z_0072_5001,R_0072_0011__KNOW)
      & r_0072_0011__know(R_0072_0011__KNOW)
      & ! [Z_0072_5014,R_0072_0014__THE_R_0072_0015__CREW] :
          ( ( r_0072_0014__the_r_0072_0015__crew(R_0072_0014__THE_R_0072_0015__CREW)
            & z_0072_5014(Z_0072_5014)
            & has_r_0072_0013__of(Z_0072_5014,R_0072_0014__THE_R_0072_0015__CREW) )
         => ? [Z_0072_5016,R_0072_0016__WANT] :
              ( r_0072_0016__want(R_0072_0016__WANT)
              & has_arg1(R_0072_0016__WANT,Z_0072_5016)
              & z_0072_5016(Z_0072_5016)
              & has_arg0(Z_0072_5016,Z_0072_5014)
              & has_arg0(R_0072_0016__WANT,Z_0072_5014) ) )
      & has_arg0(R_0072_0011__KNOW,R_0072_0002__I)
      & has_conj1(Z_0072_5001,R_0072_0003__THINK)
      & r_0072_0003__think(R_0072_0003__THINK)
      & has_arg1(R_0072_0003__THINK,R_0072_0005___APOS_LL_R_0072_0006__GO)
      & r_0072_0005___apos_ll_r_0072_0006__go(R_0072_0005___APOS_LL_R_0072_0006__GO)
      & has_clr(R_0072_0005___APOS_LL_R_0072_0006__GO,R_0072_0008__BACK)
      & r_0072_0008__back(R_0072_0008__BACK)
      & has_qual(R_0072_0008__BACK,R_0072_0007__RIGHT)
      & has_arg0(R_0072_0005___APOS_LL_R_0072_0006__GO,R_0072_0004__WE)
      & has_arg0(R_0072_0003__THINK,R_0072_0002__I) ) ).