Context                Previous, Next                Top


510_a_dick_1952
We'll have to solve the problem of the gun.

%3 r_0510_0002___apos_ll 'll r_0510_0003__have have r_0510_0002___apos_ll->r_0510_0003__have [scope] r_0510_0004__to_r_0510_0005__solve to solve r_0510_0003__have->r_0510_0004__to_r_0510_0005__solve [scope] r_0510_0001__We We r_0510_0004__to_r_0510_0005__solve->r_0510_0001__We [arg0] r_0510_0006__the_r_0510_0007__problem the problem r_0510_0004__to_r_0510_0005__solve->r_0510_0006__the_r_0510_0007__problem [arg1] r_0510_0009__the_r_0510_0010__gun the gun r_0510_0006__the_r_0510_0007__problem->r_0510_0009__the_r_0510_0010__gun of 
arc(r_0510_0002___apos_ll, r_0510_0003__have, scope).
arc(r_0510_0003__have, r_0510_0004__to_r_0510_0005__solve, scope).
arc(r_0510_0004__to_r_0510_0005__solve, r_0510_0001__We, arg0).
arc(r_0510_0004__to_r_0510_0005__solve, r_0510_0006__the_r_0510_0007__problem, arg1).
arc(r_0510_0006__the_r_0510_0007__problem, r_0510_0009__the_r_0510_0010__gun, r_0510_0008__of).


%3 r_0510_0002___apos_ll_r_0510_0003__have_r_0510_0004__to_r_0510_0005__solve 'll have to solve r_0510_0001__We We r_0510_0002___apos_ll_r_0510_0003__have_r_0510_0004__to_r_0510_0005__solve->r_0510_0001__We [arg0] r_0510_0006__the_r_0510_0007__problem the problem r_0510_0002___apos_ll_r_0510_0003__have_r_0510_0004__to_r_0510_0005__solve->r_0510_0006__the_r_0510_0007__problem [arg1] r_0510_0009__the_r_0510_0010__gun the gun r_0510_0006__the_r_0510_0007__problem->r_0510_0009__the_r_0510_0010__gun of 
fof(formula,axiom,
    ? [R_510_2__APOS_LL_HAVE_TO_SOLVE,R_510_1_WE,R_510_6_THE_PROBLEM,R_510_9_THE_GUN] :
      ( we(R_510_1_WE)
      & the_gun(R_510_9_THE_GUN)
      & _apos_ll_have_to_solve(R_510_2__APOS_LL_HAVE_TO_SOLVE,R_510_1_WE,R_510_6_THE_PROBLEM)
      & the_problem(R_510_6_THE_PROBLEM)
      & of(R_510_6_THE_PROBLEM,R_510_9_THE_GUN) ) ).


n510_a_dick_1952 n510_a_dick_1952_4 We n510_a_dick_1952_6 'll n510_a_dick_1952_9 have n510_a_dick_1952_12 to n510_a_dick_1952_14 solve n510_a_dick_1952_17 the n510_a_dick_1952_19 problem n510_a_dick_1952_22 of n510_a_dick_1952_25 the n510_a_dick_1952_27 gun n510_a_dick_1952_29 . n510_a_dick_1952_1 IP-MAT n510_a_dick_1952_2 NP-SBJ n510_a_dick_1952_1->n510_a_dick_1952_2 n510_a_dick_1952_5 MD;_cat_Vi_ n510_a_dick_1952_1->n510_a_dick_1952_5 n510_a_dick_1952_7 IP-INF-CAT n510_a_dick_1952_1->n510_a_dick_1952_7 n510_a_dick_1952_28 PUNC n510_a_dick_1952_1->n510_a_dick_1952_28 n510_a_dick_1952_3 PRO n510_a_dick_1952_2->n510_a_dick_1952_3 n510_a_dick_1952_3->n510_a_dick_1952_4 n510_a_dick_1952_5->n510_a_dick_1952_6 n510_a_dick_1952_8 HV;_cat_Vt_ n510_a_dick_1952_7->n510_a_dick_1952_8 n510_a_dick_1952_10 IP-INF-CAT n510_a_dick_1952_7->n510_a_dick_1952_10 n510_a_dick_1952_8->n510_a_dick_1952_9 n510_a_dick_1952_11 TO n510_a_dick_1952_10->n510_a_dick_1952_11 n510_a_dick_1952_13 VB;_Tn_ n510_a_dick_1952_10->n510_a_dick_1952_13 n510_a_dick_1952_15 NP-OB1 n510_a_dick_1952_10->n510_a_dick_1952_15 n510_a_dick_1952_11->n510_a_dick_1952_12 n510_a_dick_1952_13->n510_a_dick_1952_14 n510_a_dick_1952_16 D n510_a_dick_1952_15->n510_a_dick_1952_16 n510_a_dick_1952_18 N n510_a_dick_1952_15->n510_a_dick_1952_18 n510_a_dick_1952_20 PP n510_a_dick_1952_15->n510_a_dick_1952_20 n510_a_dick_1952_16->n510_a_dick_1952_17 n510_a_dick_1952_18->n510_a_dick_1952_19 n510_a_dick_1952_21 P-ROLE n510_a_dick_1952_20->n510_a_dick_1952_21 n510_a_dick_1952_23 NP n510_a_dick_1952_20->n510_a_dick_1952_23 n510_a_dick_1952_21->n510_a_dick_1952_22 n510_a_dick_1952_24 D n510_a_dick_1952_23->n510_a_dick_1952_24 n510_a_dick_1952_26 N n510_a_dick_1952_23->n510_a_dick_1952_26 n510_a_dick_1952_24->n510_a_dick_1952_25 n510_a_dick_1952_26->n510_a_dick_1952_27 n510_a_dick_1952_28->n510_a_dick_1952_29 
( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (HV;_cat_Vt_ have;{have})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn_ solve;{solve})
                                  (NP-OB1 (D the;{the})
                                          (N problem;{problem})
                                          (PP (P-ROLE of;{of})
                                              (NP (D the;{the})
                                                  (N gun;{gun}))))))
          (PUNC .))
  (ID 510_a_dick_1952))