Context                Previous, Next                Top


5_a_dick_1952
The return journey to pick up the treasure would be a cinch...

%3 r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up to pick up r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey The return journey r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up->r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey [nim] r_0005_0007__the_r_0005_0008__treasure the treasure r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up->r_0005_0007__the_r_0005_0008__treasure [arg1] z_000_5_a_dick_1952_9 r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up->z_000_5_a_dick_1952_9 [arg0] r_0005_0009__would would r_0005_0010__be be r_0005_0009__would->r_0005_0010__be [scope] r_0005_0010__be->r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey [arg0] r_0005_0011__a_r_0005_0012__cinch a cinch r_0005_0010__be->r_0005_0011__a_r_0005_0012__cinch [prd] 
arc(r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up, r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey, nim10).
arc(r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up, r_0005_0007__the_r_0005_0008__treasure, arg1).
arc(r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up, z_000_5_a_dick_1952_9, arg0).
arc(r_0005_0009__would, r_0005_0010__be, scope).
arc(r_0005_0010__be, r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey, arg0).
arc(r_0005_0010__be, r_0005_0011__a_r_0005_0012__cinch, prd).


%3 r_0005_0009__would_r_0005_0010__be would be r_0005_0011__a_r_0005_0012__cinch a cinch r_0005_0009__would_r_0005_0010__be->r_0005_0011__a_r_0005_0012__cinch [prd] r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey The return journey r_0005_0009__would_r_0005_0010__be->r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey [arg0] r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up to pick up r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up->r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey [nim] z_000_5_a_dick_1952_9 r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up->z_000_5_a_dick_1952_9 [arg0] r_0005_0007__the_r_0005_0008__treasure the treasure r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up->r_0005_0007__the_r_0005_0008__treasure [arg1] 
fof(formula,axiom,
    ? [R_0005_0001__THE_R_0005_0002__RETURN_R_0005_0003__JOURNEY,R_0005_0007__THE_R_0005_0008__TREASURE,Z_000_5_A_DICK_1952_9,R_0005_0004__TO_R_0005_0005__PICK_R_0005_0006__UP,R_0005_0011__A_R_0005_0012__CINCH,R_0005_0009__WOULD_R_0005_0010__BE] :
      ( r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey(R_0005_0001__THE_R_0005_0002__RETURN_R_0005_0003__JOURNEY)
      & r_0005_0007__the_r_0005_0008__treasure(R_0005_0007__THE_R_0005_0008__TREASURE)
      & r_0005_0011__a_r_0005_0012__cinch(R_0005_0011__A_R_0005_0012__CINCH)
      & z_000_5_a_dick_1952_9(Z_000_5_A_DICK_1952_9)
      & r_0005_0009__would_r_0005_0010__be(R_0005_0009__WOULD_R_0005_0010__BE)
      & has_prd(R_0005_0009__WOULD_R_0005_0010__BE,R_0005_0011__A_R_0005_0012__CINCH)
      & has_arg0(R_0005_0009__WOULD_R_0005_0010__BE,R_0005_0001__THE_R_0005_0002__RETURN_R_0005_0003__JOURNEY)
      & r_0005_0004__to_r_0005_0005__pick_r_0005_0006__up(R_0005_0004__TO_R_0005_0005__PICK_R_0005_0006__UP)
      & has_arg0(R_0005_0004__TO_R_0005_0005__PICK_R_0005_0006__UP,Z_000_5_A_DICK_1952_9)
      & has_arg1(R_0005_0004__TO_R_0005_0005__PICK_R_0005_0006__UP,R_0005_0007__THE_R_0005_0008__TREASURE)
      & has_nim10(R_0005_0004__TO_R_0005_0005__PICK_R_0005_0006__UP,R_0005_0001__THE_R_0005_0002__RETURN_R_0005_0003__JOURNEY) ) ).


n5_a_dick_1952 n5_a_dick_1952__1_1_1_1 The n5_a_dick_1952__1_1_2_1 return n5_a_dick_1952__1_1_3_1 journey n5_a_dick_1952__1_1_4_1_1 *T* n5_a_dick_1952__1_1_4_2_1 to n5_a_dick_1952__1_1_4_3_1 pick n5_a_dick_1952__1_1_4_4_1 up n5_a_dick_1952__1_1_4_5_1_1 the n5_a_dick_1952__1_1_4_5_2_1 treasure n5_a_dick_1952__1_2_1 would n5_a_dick_1952__1_3_1_1 be n5_a_dick_1952__1_3_2_1_1 a n5_a_dick_1952__1_3_2_2_1 cinch n5_a_dick_1952__1_4_1 ... n5_a_dick_1952__1 IP-MAT n5_a_dick_1952__1_1 NP-SBJ n5_a_dick_1952__1->n5_a_dick_1952__1_1 n5_a_dick_1952__1_2 MD;_cat_Vi_ n5_a_dick_1952__1->n5_a_dick_1952__1_2 n5_a_dick_1952__1_3 IP-INF-CAT n5_a_dick_1952__1->n5_a_dick_1952__1_3 n5_a_dick_1952__1_4 PUNC n5_a_dick_1952__1->n5_a_dick_1952__1_4 n5_a_dick_1952__1_1_1 D n5_a_dick_1952__1_1->n5_a_dick_1952__1_1_1 n5_a_dick_1952__1_1_2 N n5_a_dick_1952__1_1->n5_a_dick_1952__1_1_2 n5_a_dick_1952__1_1_3 N n5_a_dick_1952__1_1->n5_a_dick_1952__1_1_3 n5_a_dick_1952__1_1_4 IP-INF-REL n5_a_dick_1952__1_1->n5_a_dick_1952__1_1_4 n5_a_dick_1952__1_1_1->n5_a_dick_1952__1_1_1_1 n5_a_dick_1952__1_1_2->n5_a_dick_1952__1_1_2_1 n5_a_dick_1952__1_1_3->n5_a_dick_1952__1_1_3_1 n5_a_dick_1952__1_1_4_1 NP-NIM n5_a_dick_1952__1_1_4->n5_a_dick_1952__1_1_4_1 n5_a_dick_1952__1_1_4_2 TO n5_a_dick_1952__1_1_4->n5_a_dick_1952__1_1_4_2 n5_a_dick_1952__1_1_4_3 VB;_phr_Vn<=>p_ n5_a_dick_1952__1_1_4->n5_a_dick_1952__1_1_4_3 n5_a_dick_1952__1_1_4_4 RP n5_a_dick_1952__1_1_4->n5_a_dick_1952__1_1_4_4 n5_a_dick_1952__1_1_4_5 NP-OB1 n5_a_dick_1952__1_1_4->n5_a_dick_1952__1_1_4_5 n5_a_dick_1952__1_1_4_1->n5_a_dick_1952__1_1_4_1_1 n5_a_dick_1952__1_1_4_2->n5_a_dick_1952__1_1_4_2_1 n5_a_dick_1952__1_1_4_3->n5_a_dick_1952__1_1_4_3_1 n5_a_dick_1952__1_1_4_4->n5_a_dick_1952__1_1_4_4_1 n5_a_dick_1952__1_1_4_5_1 D n5_a_dick_1952__1_1_4_5->n5_a_dick_1952__1_1_4_5_1 n5_a_dick_1952__1_1_4_5_2 N n5_a_dick_1952__1_1_4_5->n5_a_dick_1952__1_1_4_5_2 n5_a_dick_1952__1_1_4_5_1->n5_a_dick_1952__1_1_4_5_1_1 n5_a_dick_1952__1_1_4_5_2->n5_a_dick_1952__1_1_4_5_2_1 n5_a_dick_1952__1_2->n5_a_dick_1952__1_2_1 n5_a_dick_1952__1_3_1 BE;_Ln_ n5_a_dick_1952__1_3->n5_a_dick_1952__1_3_1 n5_a_dick_1952__1_3_2 NP-PRD n5_a_dick_1952__1_3->n5_a_dick_1952__1_3_2 n5_a_dick_1952__1_3_1->n5_a_dick_1952__1_3_1_1 n5_a_dick_1952__1_3_2_1 D n5_a_dick_1952__1_3_2->n5_a_dick_1952__1_3_2_1 n5_a_dick_1952__1_3_2_2 N n5_a_dick_1952__1_3_2->n5_a_dick_1952__1_3_2_2 n5_a_dick_1952__1_3_2_1->n5_a_dick_1952__1_3_2_1_1 n5_a_dick_1952__1_3_2_2->n5_a_dick_1952__1_3_2_2_1 n5_a_dick_1952__1_4->n5_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N return;{return})
                  (N journey;{journey})
                  (IP-INF-REL (NP-NIM *T*)
                              (TO to;{to})
                              (VB;_phr_Vn<=>p_ pick;{pick[up]})
                              (RP up;{up})
                              (NP-OB1 (D the;{the})
                                      (N treasure;{treasure}))))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (BE;_Ln_ be;{be})
                      (NP-PRD (D a;{a})
                              (N cinch;{cinch})))
          (PUNC ...))
  (ID 5_a_dick_1952))