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_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_r_0410_0007__found 's found 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] 
fof(formula,axiom,
    ? [R_410_1_LET,Z_410_A_DICK_1952_1,R_410_2__APOS_S,R_410_3_SEE,X_410_A_DICK_1952_7,R_410_6__APOS_S_FOUND,R_410_5_HE,Z_410_A_DICK_1952_10] :
      ( _apos_s(R_410_2__APOS_S)
      & he(R_410_5_HE)
      & let(R_410_1_LET,Z_410_A_DICK_1952_1,R_410_2__APOS_S,R_410_3_SEE)
      & see(R_410_3_SEE,X_410_A_DICK_1952_7,Z_410_A_DICK_1952_10)
      & _apos_s_found(R_410_6__APOS_S_FOUND,R_410_5_HE,Z_410_A_DICK_1952_10) ) ).


n410_a_dick_1952 n410_a_dick_1952_3 Let n410_a_dick_1952_6 's n410_a_dick_1952_9 see n410_a_dick_1952_14 what n410_a_dick_1952_17 he n410_a_dick_1952_19 's n410_a_dick_1952_22 *ICH*-231 n410_a_dick_1952_24 found n410_a_dick_1952_26 . n410_a_dick_1952_1 IP-IMP n410_a_dick_1952_2 VB;_Cn.i_ n410_a_dick_1952_1->n410_a_dick_1952_2 n410_a_dick_1952_4 NP-OB1 n410_a_dick_1952_1->n410_a_dick_1952_4 n410_a_dick_1952_7 IP-INF-PRD n410_a_dick_1952_1->n410_a_dick_1952_7 n410_a_dick_1952_25 PUNC n410_a_dick_1952_1->n410_a_dick_1952_25 n410_a_dick_1952_2->n410_a_dick_1952_3 n410_a_dick_1952_5 PRO n410_a_dick_1952_4->n410_a_dick_1952_5 n410_a_dick_1952_5->n410_a_dick_1952_6 n410_a_dick_1952_8 VB;_Tn_ n410_a_dick_1952_7->n410_a_dick_1952_8 n410_a_dick_1952_10 NP-OB1 n410_a_dick_1952_7->n410_a_dick_1952_10 n410_a_dick_1952_8->n410_a_dick_1952_9 n410_a_dick_1952_11 IP-REL n410_a_dick_1952_10->n410_a_dick_1952_11 n410_a_dick_1952_12 NP-231 n410_a_dick_1952_11->n410_a_dick_1952_12 n410_a_dick_1952_15 NP-SBJ n410_a_dick_1952_11->n410_a_dick_1952_15 n410_a_dick_1952_18 HVP;_cat_Ve_ n410_a_dick_1952_11->n410_a_dick_1952_18 n410_a_dick_1952_20 IP-PPL-CAT n410_a_dick_1952_11->n410_a_dick_1952_20 n410_a_dick_1952_13 RPRO n410_a_dick_1952_12->n410_a_dick_1952_13 n410_a_dick_1952_13->n410_a_dick_1952_14 n410_a_dick_1952_16 PRO n410_a_dick_1952_15->n410_a_dick_1952_16 n410_a_dick_1952_16->n410_a_dick_1952_17 n410_a_dick_1952_18->n410_a_dick_1952_19 n410_a_dick_1952_21 NP-OB1 n410_a_dick_1952_20->n410_a_dick_1952_21 n410_a_dick_1952_23 VVN;_Tn_ n410_a_dick_1952_20->n410_a_dick_1952_23 n410_a_dick_1952_21->n410_a_dick_1952_22 n410_a_dick_1952_23->n410_a_dick_1952_24 n410_a_dick_1952_25->n410_a_dick_1952_26 
( (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))