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_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_r_0005_0010__be would be r_0005_0009__would_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_0009__would_r_0005_0010__be->r_0005_0011__a_r_0005_0012__cinch [prd] 
fof(formula,axiom,
    ? [R_5_4_TO_PICK_UP,Z_5_A_DICK_1952_9,R_5_7_THE_TREASURE,R_5_9_WOULD_BE,R_5_1_THE_RETURN_JOURNEY,R_5_11_A_CINCH] :
      ( the_treasure(R_5_7_THE_TREASURE)
      & the_return_journey(R_5_1_THE_RETURN_JOURNEY)
      & a_cinch(R_5_11_A_CINCH)
      & to_pick_up(R_5_4_TO_PICK_UP,Z_5_A_DICK_1952_9,R_5_7_THE_TREASURE)
      & nim10(R_5_4_TO_PICK_UP,R_5_1_THE_RETURN_JOURNEY)
      & would_be(R_5_9_WOULD_BE,R_5_1_THE_RETURN_JOURNEY,R_5_11_A_CINCH) ) ).


n5_a_dick_1952 n5_a_dick_1952_4 The n5_a_dick_1952_6 return n5_a_dick_1952_8 journey n5_a_dick_1952_11 *T* n5_a_dick_1952_13 to n5_a_dick_1952_15 pick n5_a_dick_1952_17 up n5_a_dick_1952_20 the n5_a_dick_1952_22 treasure n5_a_dick_1952_24 would n5_a_dick_1952_27 be n5_a_dick_1952_30 a n5_a_dick_1952_32 cinch n5_a_dick_1952_34 ... n5_a_dick_1952_1 IP-MAT n5_a_dick_1952_2 NP-SBJ n5_a_dick_1952_1->n5_a_dick_1952_2 n5_a_dick_1952_23 MD;_cat_Vi_ n5_a_dick_1952_1->n5_a_dick_1952_23 n5_a_dick_1952_25 IP-INF-CAT n5_a_dick_1952_1->n5_a_dick_1952_25 n5_a_dick_1952_33 PUNC n5_a_dick_1952_1->n5_a_dick_1952_33 n5_a_dick_1952_3 D n5_a_dick_1952_2->n5_a_dick_1952_3 n5_a_dick_1952_5 N n5_a_dick_1952_2->n5_a_dick_1952_5 n5_a_dick_1952_7 N n5_a_dick_1952_2->n5_a_dick_1952_7 n5_a_dick_1952_9 IP-INF-REL n5_a_dick_1952_2->n5_a_dick_1952_9 n5_a_dick_1952_3->n5_a_dick_1952_4 n5_a_dick_1952_5->n5_a_dick_1952_6 n5_a_dick_1952_7->n5_a_dick_1952_8 n5_a_dick_1952_10 NP-NIM n5_a_dick_1952_9->n5_a_dick_1952_10 n5_a_dick_1952_12 TO n5_a_dick_1952_9->n5_a_dick_1952_12 n5_a_dick_1952_14 VB;_phr_Vn<=>p_ n5_a_dick_1952_9->n5_a_dick_1952_14 n5_a_dick_1952_16 RP n5_a_dick_1952_9->n5_a_dick_1952_16 n5_a_dick_1952_18 NP-OB1 n5_a_dick_1952_9->n5_a_dick_1952_18 n5_a_dick_1952_10->n5_a_dick_1952_11 n5_a_dick_1952_12->n5_a_dick_1952_13 n5_a_dick_1952_14->n5_a_dick_1952_15 n5_a_dick_1952_16->n5_a_dick_1952_17 n5_a_dick_1952_19 D n5_a_dick_1952_18->n5_a_dick_1952_19 n5_a_dick_1952_21 N n5_a_dick_1952_18->n5_a_dick_1952_21 n5_a_dick_1952_19->n5_a_dick_1952_20 n5_a_dick_1952_21->n5_a_dick_1952_22 n5_a_dick_1952_23->n5_a_dick_1952_24 n5_a_dick_1952_26 BE;_Ln_ n5_a_dick_1952_25->n5_a_dick_1952_26 n5_a_dick_1952_28 NP-PRD n5_a_dick_1952_25->n5_a_dick_1952_28 n5_a_dick_1952_26->n5_a_dick_1952_27 n5_a_dick_1952_29 D n5_a_dick_1952_28->n5_a_dick_1952_29 n5_a_dick_1952_31 N n5_a_dick_1952_28->n5_a_dick_1952_31 n5_a_dick_1952_29->n5_a_dick_1952_30 n5_a_dick_1952_31->n5_a_dick_1952_32 n5_a_dick_1952_33->n5_a_dick_1952_34 
( (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))