Context                Previous, Next                Top


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

n510_a_dick_1952 n510_a_dick_1952__1_1_1_1 We n510_a_dick_1952__1_2_1 'll n510_a_dick_1952__1_3_1_1 have n510_a_dick_1952__1_3_2_1_1 to n510_a_dick_1952__1_3_2_2_1 solve n510_a_dick_1952__1_3_2_3_1_1 the n510_a_dick_1952__1_3_2_3_2_1 problem n510_a_dick_1952__1_3_2_3_3_1_1 of n510_a_dick_1952__1_3_2_3_3_2_1_1 the n510_a_dick_1952__1_3_2_3_3_2_2_1 gun n510_a_dick_1952__1_4_1 . n510_a_dick_1952__1 IP-MAT n510_a_dick_1952__1_1 NP-SBJ n510_a_dick_1952__1->n510_a_dick_1952__1_1 n510_a_dick_1952__1_2 MD;_cat_Vi_ n510_a_dick_1952__1->n510_a_dick_1952__1_2 n510_a_dick_1952__1_3 IP-INF-CAT n510_a_dick_1952__1->n510_a_dick_1952__1_3 n510_a_dick_1952__1_4 PUNC n510_a_dick_1952__1->n510_a_dick_1952__1_4 n510_a_dick_1952__1_1_1 PRO n510_a_dick_1952__1_1->n510_a_dick_1952__1_1_1 n510_a_dick_1952__1_1_1->n510_a_dick_1952__1_1_1_1 n510_a_dick_1952__1_2->n510_a_dick_1952__1_2_1 n510_a_dick_1952__1_3_1 HV;_cat_Vt_ n510_a_dick_1952__1_3->n510_a_dick_1952__1_3_1 n510_a_dick_1952__1_3_2 IP-INF-CAT n510_a_dick_1952__1_3->n510_a_dick_1952__1_3_2 n510_a_dick_1952__1_3_1->n510_a_dick_1952__1_3_1_1 n510_a_dick_1952__1_3_2_1 TO n510_a_dick_1952__1_3_2->n510_a_dick_1952__1_3_2_1 n510_a_dick_1952__1_3_2_2 VB;_Tn_ n510_a_dick_1952__1_3_2->n510_a_dick_1952__1_3_2_2 n510_a_dick_1952__1_3_2_3 NP-OB1 n510_a_dick_1952__1_3_2->n510_a_dick_1952__1_3_2_3 n510_a_dick_1952__1_3_2_1->n510_a_dick_1952__1_3_2_1_1 n510_a_dick_1952__1_3_2_2->n510_a_dick_1952__1_3_2_2_1 n510_a_dick_1952__1_3_2_3_1 D n510_a_dick_1952__1_3_2_3->n510_a_dick_1952__1_3_2_3_1 n510_a_dick_1952__1_3_2_3_2 N n510_a_dick_1952__1_3_2_3->n510_a_dick_1952__1_3_2_3_2 n510_a_dick_1952__1_3_2_3_3 PP n510_a_dick_1952__1_3_2_3->n510_a_dick_1952__1_3_2_3_3 n510_a_dick_1952__1_3_2_3_1->n510_a_dick_1952__1_3_2_3_1_1 n510_a_dick_1952__1_3_2_3_2->n510_a_dick_1952__1_3_2_3_2_1 n510_a_dick_1952__1_3_2_3_3_1 P-ROLE n510_a_dick_1952__1_3_2_3_3->n510_a_dick_1952__1_3_2_3_3_1 n510_a_dick_1952__1_3_2_3_3_2 NP n510_a_dick_1952__1_3_2_3_3->n510_a_dick_1952__1_3_2_3_3_2 n510_a_dick_1952__1_3_2_3_3_1->n510_a_dick_1952__1_3_2_3_3_1_1 n510_a_dick_1952__1_3_2_3_3_2_1 D n510_a_dick_1952__1_3_2_3_3_2->n510_a_dick_1952__1_3_2_3_3_2_1 n510_a_dick_1952__1_3_2_3_3_2_2 N n510_a_dick_1952__1_3_2_3_3_2->n510_a_dick_1952__1_3_2_3_3_2_2 n510_a_dick_1952__1_3_2_3_3_2_1->n510_a_dick_1952__1_3_2_3_3_2_1_1 n510_a_dick_1952__1_3_2_3_3_2_2->n510_a_dick_1952__1_3_2_3_3_2_2_1 n510_a_dick_1952__1_4->n510_a_dick_1952__1_4_1 
( (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))


%3 r_0510_0006__the_r_0510_0007__problem the problem 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 r_0510_0005__solve solve r_0510_0005__solve->r_0510_0006__the_r_0510_0007__problem [arg1] r_0510_0001__We We r_0510_0005__solve->r_0510_0001__We [arg0] r_0510_0003__have have r_0510_0003__have->r_0510_0005__solve [scope] r_0510_0002___apos_ll 'll r_0510_0002___apos_ll->r_0510_0003__have [scope] 
arc(r_0510_0002___apos_ll,r_0510_0003__have,scope).
arc(r_0510_0003__have,r_0510_0005__solve,scope).
arc(r_0510_0005__solve,r_0510_0001__We,arg0).
arc(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_0005__solve 'll have solve r_0510_0001__We We r_0510_0002___apos_ll_r_0510_0003__have_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_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_0510_0001__WE,R_0510_0009__THE_R_0510_0010__GUN,R_0510_0006__THE_R_0510_0007__PROBLEM,R_0510_0002___APOS_LL_R_0510_0003__HAVE_R_0510_0005__SOLVE] :
      ( r_0510_0001__We(R_0510_0001__WE)
      & r_0510_0009__the_r_0510_0010__gun(R_0510_0009__THE_R_0510_0010__GUN)
      & r_0510_0002___apos_ll_r_0510_0003__have_r_0510_0005__solve(R_0510_0002___APOS_LL_R_0510_0003__HAVE_R_0510_0005__SOLVE)
      & has_arg1(R_0510_0002___APOS_LL_R_0510_0003__HAVE_R_0510_0005__SOLVE,R_0510_0006__THE_R_0510_0007__PROBLEM)
      & r_0510_0006__the_r_0510_0007__problem(R_0510_0006__THE_R_0510_0007__PROBLEM)
      & has_r_0510_0008__of(R_0510_0006__THE_R_0510_0007__PROBLEM,R_0510_0009__THE_R_0510_0010__GUN)
      & has_arg0(R_0510_0002___APOS_LL_R_0510_0003__HAVE_R_0510_0005__SOLVE,R_0510_0001__WE) ) ).