Context                Previous, Next                Top


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

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-SBJ 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-SBJ *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))


%3 r_0005_0010__be be r_0005_0011__a_r_0005_0012__cinch a cinch 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_0010__be->r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey [arg0] r_0005_0009__would would r_0005_0009__would->r_0005_0010__be [scope] r_0005_0005__pick_r_0005_0006__up pick up r_0005_0005__pick_r_0005_0006__up->r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey [inv_arg0] r_0005_0007__the_r_0005_0008__treasure the treasure r_0005_0005__pick_r_0005_0006__up->r_0005_0007__the_r_0005_0008__treasure [arg1] 
arc(r_0005_0005__pick_r_0005_0006__up,r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey,inv_arg0).
arc(r_0005_0005__pick_r_0005_0006__up,r_0005_0007__the_r_0005_0008__treasure,arg1).
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_0001__The_r_0005_0002__return_r_0005_0003__journey The return journey r_0005_0005__pick_r_0005_0006__up pick up r_0005_0001__The_r_0005_0002__return_r_0005_0003__journey->r_0005_0005__pick_r_0005_0006__up [inv_arg0] r_0005_0007__the_r_0005_0008__treasure the treasure r_0005_0005__pick_r_0005_0006__up->r_0005_0007__the_r_0005_0008__treasure [arg1] 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_0005_0007__THE_R_0005_0008__TREASURE,R_0005_0005__PICK_R_0005_0006__UP,R_0005_0001__THE_R_0005_0002__RETURN_R_0005_0003__JOURNEY,R_0005_0011__A_R_0005_0012__CINCH,R_0005_0009__WOULD_R_0005_0010__BE] :
      ( 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)
      & 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_0001__The_r_0005_0002__return_r_0005_0003__journey(R_0005_0001__THE_R_0005_0002__RETURN_R_0005_0003__JOURNEY)
      & has_inv_arg0(R_0005_0001__THE_R_0005_0002__RETURN_R_0005_0003__JOURNEY,R_0005_0005__PICK_R_0005_0006__UP)
      & r_0005_0005__pick_r_0005_0006__up(R_0005_0005__PICK_R_0005_0006__UP)
      & has_arg1(R_0005_0005__PICK_R_0005_0006__UP,R_0005_0007__THE_R_0005_0008__TREASURE) ) ).