Context                Previous, Next                Top


410_a_dick_1952
Let's see what he's found.

%3 r_0410_0001__Let Let r_0410_0002___apos_s 's r_0410_0001__Let->r_0410_0002___apos_s [arg1] r_0410_0003__see see r_0410_0001__Let->r_0410_0003__see [prd] z_000_410_a_dick_1952_1 r_0410_0001__Let->z_000_410_a_dick_1952_1 [arg0] x_000_410_a_dick_1952_7 __ r_0410_0003__see->x_000_410_a_dick_1952_7 [arg0] z_000_410_a_dick_1952_10 r_0410_0003__see->z_000_410_a_dick_1952_10 [arg1] r_0410_0006___apos_s 's r_0410_0007__found found r_0410_0006___apos_s->r_0410_0007__found [scope] r_0410_0007__found->z_000_410_a_dick_1952_10 [arg1] r_0410_0005__he he r_0410_0007__found->r_0410_0005__he [arg0] 
arc(r_0410_0001__Let, r_0410_0002___apos_s, arg1).
arc(r_0410_0001__Let, r_0410_0003__see, prd).
arc(r_0410_0001__Let, z_000_410_a_dick_1952_1, arg0).
arc(r_0410_0003__see, x_000_410_a_dick_1952_7, arg0).
arc(r_0410_0003__see, z_000_410_a_dick_1952_10, arg1).
arc(r_0410_0006___apos_s, r_0410_0007__found, scope).
arc(r_0410_0007__found, r_0410_0005__he, arg0).
arc(r_0410_0007__found, z_000_410_a_dick_1952_10, arg1).


%3 r_0410_0006___apos_s_r_0410_0007__found 's found z_000_410_a_dick_1952_10 r_0410_0006___apos_s_r_0410_0007__found->z_000_410_a_dick_1952_10 [arg1] r_0410_0005__he he r_0410_0006___apos_s_r_0410_0007__found->r_0410_0005__he [arg0] r_0410_0003__see see r_0410_0003__see->z_000_410_a_dick_1952_10 [arg1] x_000_410_a_dick_1952_7 __ r_0410_0003__see->x_000_410_a_dick_1952_7 [arg0] r_0410_0001__Let Let r_0410_0001__Let->r_0410_0003__see [prd] z_000_410_a_dick_1952_1 r_0410_0001__Let->z_000_410_a_dick_1952_1 [arg0] r_0410_0002___apos_s 's r_0410_0001__Let->r_0410_0002___apos_s [arg1] 
fof(formula,axiom,
    ? [R_0410_0002___APOS_S,X_000_410_A_DICK_1952_7,Z_000_410_A_DICK_1952_10,R_0410_0003__SEE,Z_000_410_A_DICK_1952_1,R_0410_0001__LET,R_0410_0005__HE,R_0410_0006___APOS_S_R_0410_0007__FOUND] :
      ( r_0410_0002___apos_s(R_0410_0002___APOS_S)
      & r_0410_0005__he(R_0410_0005__HE)
      & x_000_410_a_dick_1952_7(X_000_410_A_DICK_1952_7)
      & z_000_410_a_dick_1952_1(Z_000_410_A_DICK_1952_1)
      & z_000_410_a_dick_1952_10(Z_000_410_A_DICK_1952_10)
      & r_0410_0006___apos_s_r_0410_0007__found(R_0410_0006___APOS_S_R_0410_0007__FOUND)
      & has_arg1(R_0410_0006___APOS_S_R_0410_0007__FOUND,Z_000_410_A_DICK_1952_10)
      & has_arg0(R_0410_0006___APOS_S_R_0410_0007__FOUND,R_0410_0005__HE)
      & r_0410_0001__Let(R_0410_0001__LET)
      & has_arg0(R_0410_0001__LET,Z_000_410_A_DICK_1952_1)
      & has_prd(R_0410_0001__LET,R_0410_0003__SEE)
      & r_0410_0003__see(R_0410_0003__SEE)
      & has_arg1(R_0410_0003__SEE,Z_000_410_A_DICK_1952_10)
      & has_arg0(R_0410_0003__SEE,X_000_410_A_DICK_1952_7)
      & has_arg1(R_0410_0001__LET,R_0410_0002___APOS_S) ) ).


n410_a_dick_1952 n410_a_dick_1952__1_1_1 Let n410_a_dick_1952__1_2_1_1 's n410_a_dick_1952__1_3_1_1 see n410_a_dick_1952__1_3_2_1_1_1_1 what n410_a_dick_1952__1_3_2_1_2_1_1 he n410_a_dick_1952__1_3_2_1_3_1 's n410_a_dick_1952__1_3_2_1_4_1_1 *ICH*-231 n410_a_dick_1952__1_3_2_1_4_2_1 found n410_a_dick_1952__1_4_1 . n410_a_dick_1952__1 IP-IMP n410_a_dick_1952__1_1 VB;_Cn.i_ n410_a_dick_1952__1->n410_a_dick_1952__1_1 n410_a_dick_1952__1_2 NP-OB1 n410_a_dick_1952__1->n410_a_dick_1952__1_2 n410_a_dick_1952__1_3 IP-INF-PRD n410_a_dick_1952__1->n410_a_dick_1952__1_3 n410_a_dick_1952__1_4 PUNC n410_a_dick_1952__1->n410_a_dick_1952__1_4 n410_a_dick_1952__1_1->n410_a_dick_1952__1_1_1 n410_a_dick_1952__1_2_1 PRO n410_a_dick_1952__1_2->n410_a_dick_1952__1_2_1 n410_a_dick_1952__1_2_1->n410_a_dick_1952__1_2_1_1 n410_a_dick_1952__1_3_1 VB;_Tn_ n410_a_dick_1952__1_3->n410_a_dick_1952__1_3_1 n410_a_dick_1952__1_3_2 NP-OB1 n410_a_dick_1952__1_3->n410_a_dick_1952__1_3_2 n410_a_dick_1952__1_3_1->n410_a_dick_1952__1_3_1_1 n410_a_dick_1952__1_3_2_1 IP-REL n410_a_dick_1952__1_3_2->n410_a_dick_1952__1_3_2_1 n410_a_dick_1952__1_3_2_1_1 NP-231 n410_a_dick_1952__1_3_2_1->n410_a_dick_1952__1_3_2_1_1 n410_a_dick_1952__1_3_2_1_2 NP-SBJ n410_a_dick_1952__1_3_2_1->n410_a_dick_1952__1_3_2_1_2 n410_a_dick_1952__1_3_2_1_3 HVP;_cat_Ve_ n410_a_dick_1952__1_3_2_1->n410_a_dick_1952__1_3_2_1_3 n410_a_dick_1952__1_3_2_1_4 IP-PPL-CAT n410_a_dick_1952__1_3_2_1->n410_a_dick_1952__1_3_2_1_4 n410_a_dick_1952__1_3_2_1_1_1 RPRO n410_a_dick_1952__1_3_2_1_1->n410_a_dick_1952__1_3_2_1_1_1 n410_a_dick_1952__1_3_2_1_1_1->n410_a_dick_1952__1_3_2_1_1_1_1 n410_a_dick_1952__1_3_2_1_2_1 PRO n410_a_dick_1952__1_3_2_1_2->n410_a_dick_1952__1_3_2_1_2_1 n410_a_dick_1952__1_3_2_1_2_1->n410_a_dick_1952__1_3_2_1_2_1_1 n410_a_dick_1952__1_3_2_1_3->n410_a_dick_1952__1_3_2_1_3_1 n410_a_dick_1952__1_3_2_1_4_1 NP-OB1 n410_a_dick_1952__1_3_2_1_4->n410_a_dick_1952__1_3_2_1_4_1 n410_a_dick_1952__1_3_2_1_4_2 VVN;_Tn_ n410_a_dick_1952__1_3_2_1_4->n410_a_dick_1952__1_3_2_1_4_2 n410_a_dick_1952__1_3_2_1_4_1->n410_a_dick_1952__1_3_2_1_4_1_1 n410_a_dick_1952__1_3_2_1_4_2->n410_a_dick_1952__1_3_2_1_4_2_1 n410_a_dick_1952__1_4->n410_a_dick_1952__1_4_1 
( (IP-IMP (VB;_Cn.i_ Let;{let})
          (NP-OB1;{DORLE_NASHA} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Tn_ see;{see})
                      (NP-OB1 (IP-REL (NP-231 (RPRO what;{what}))
                                      (NP-SBJ;{TANCE} (PRO he;{he}))
                                      (HVP;_cat_Ve_ <apos>s;{have})
                                      (IP-PPL-CAT (NP-OB1 *ICH*-231)
                                                  (VVN;_Tn_ found;{find})))))
          (PUNC .))
  (ID 410_a_dick_1952))