Context                Previous, Next                Top


235_a_dick_1952
So what difference does it make whether we go closer or not?”

%3 r_0235_0004__does_r_0235_0006__make does make r_0235_0001__So So r_0235_0004__does_r_0235_0006__make->r_0235_0001__So [nim] r_0235_0002__what_r_0235_0003__difference what difference r_0235_0004__does_r_0235_0006__make->r_0235_0002__what_r_0235_0003__difference [arg1] r_0235_0005__it it r_0235_0004__does_r_0235_0006__make->r_0235_0005__it [arg0] 
arc(r_0235_0004__does_r_0235_0006__make, r_0235_0001__So, nim3).
arc(r_0235_0004__does_r_0235_0006__make, r_0235_0002__what_r_0235_0003__difference, arg1).
arc(r_0235_0004__does_r_0235_0006__make, r_0235_0005__it, arg0).


%3 r_0235_0004__does_r_0235_0006__make does make r_0235_0005__it it r_0235_0004__does_r_0235_0006__make->r_0235_0005__it [arg0] r_0235_0002__what_r_0235_0003__difference what difference r_0235_0004__does_r_0235_0006__make->r_0235_0002__what_r_0235_0003__difference [arg1] r_0235_0001__So So r_0235_0004__does_r_0235_0006__make->r_0235_0001__So [nim] 
fof(formula,axiom,
    ? [R_0235_0001__SO,R_0235_0002__WHAT_R_0235_0003__DIFFERENCE,R_0235_0005__IT,R_0235_0004__DOES_R_0235_0006__MAKE] :
      ( r_0235_0001__So(R_0235_0001__SO)
      & r_0235_0002__what_r_0235_0003__difference(R_0235_0002__WHAT_R_0235_0003__DIFFERENCE)
      & r_0235_0005__it(R_0235_0005__IT)
      & r_0235_0004__does_r_0235_0006__make(R_0235_0004__DOES_R_0235_0006__MAKE)
      & has_arg0(R_0235_0004__DOES_R_0235_0006__MAKE,R_0235_0005__IT)
      & has_arg1(R_0235_0004__DOES_R_0235_0006__MAKE,R_0235_0002__WHAT_R_0235_0003__DIFFERENCE)
      & has_nim3(R_0235_0004__DOES_R_0235_0006__MAKE,R_0235_0001__SO) ) ).


n235_a_dick_1952 n235_a_dick_1952__1_1_1_1_1 So n235_a_dick_1952__1_1_2_1_1 what n235_a_dick_1952__1_1_2_2_1 difference n235_a_dick_1952__1_1_3_1 does n235_a_dick_1952__1_1_4_1_1 it n235_a_dick_1952__1_1_5_1 make n235_a_dick_1952__1_1_6_1_1_1_1 whether n235_a_dick_1952__1_1_6_1_1_2_1_1_1_1 we n235_a_dick_1952__1_1_6_1_1_2_1_2_1 go n235_a_dick_1952__1_1_6_1_1_2_1_3_1_1 closer n235_a_dick_1952__1_1_6_1_1_2_2_1_1 or n235_a_dick_1952__1_1_6_1_1_2_2_2_1_1 not n235_a_dick_1952__1_2_1 ? n235_a_dick_1952__1_3_1 <rdquo> n235_a_dick_1952__1 CP-QUE-MAT n235_a_dick_1952__1_1 IP-SUB n235_a_dick_1952__1->n235_a_dick_1952__1_1 n235_a_dick_1952__1_2 PUNC n235_a_dick_1952__1->n235_a_dick_1952__1_2 n235_a_dick_1952__1_3 PURQ n235_a_dick_1952__1->n235_a_dick_1952__1_3 n235_a_dick_1952__1_1_1 ADVP-NIM n235_a_dick_1952__1_1->n235_a_dick_1952__1_1_1 n235_a_dick_1952__1_1_2 NP-OB1 n235_a_dick_1952__1_1->n235_a_dick_1952__1_1_2 n235_a_dick_1952__1_1_3 DOP n235_a_dick_1952__1_1->n235_a_dick_1952__1_1_3 n235_a_dick_1952__1_1_4 NP-SBJ n235_a_dick_1952__1_1->n235_a_dick_1952__1_1_4 n235_a_dick_1952__1_1_5 VB;_Tn_ n235_a_dick_1952__1_1->n235_a_dick_1952__1_1_5 n235_a_dick_1952__1_1_6 PRN n235_a_dick_1952__1_1->n235_a_dick_1952__1_1_6 n235_a_dick_1952__1_1_1_1 ADV n235_a_dick_1952__1_1_1->n235_a_dick_1952__1_1_1_1 n235_a_dick_1952__1_1_1_1->n235_a_dick_1952__1_1_1_1_1 n235_a_dick_1952__1_1_2_1 WD n235_a_dick_1952__1_1_2->n235_a_dick_1952__1_1_2_1 n235_a_dick_1952__1_1_2_2 N n235_a_dick_1952__1_1_2->n235_a_dick_1952__1_1_2_2 n235_a_dick_1952__1_1_2_1->n235_a_dick_1952__1_1_2_1_1 n235_a_dick_1952__1_1_2_2->n235_a_dick_1952__1_1_2_2_1 n235_a_dick_1952__1_1_3->n235_a_dick_1952__1_1_3_1 n235_a_dick_1952__1_1_4_1 PRO n235_a_dick_1952__1_1_4->n235_a_dick_1952__1_1_4_1 n235_a_dick_1952__1_1_4_1->n235_a_dick_1952__1_1_4_1_1 n235_a_dick_1952__1_1_5->n235_a_dick_1952__1_1_5_1 n235_a_dick_1952__1_1_6_1 CP-QUE n235_a_dick_1952__1_1_6->n235_a_dick_1952__1_1_6_1 n235_a_dick_1952__1_1_6_1_1 IP-SUB n235_a_dick_1952__1_1_6_1->n235_a_dick_1952__1_1_6_1_1 n235_a_dick_1952__1_1_6_1_1_1 WQ n235_a_dick_1952__1_1_6_1_1->n235_a_dick_1952__1_1_6_1_1_1 n235_a_dick_1952__1_1_6_1_1_2 ILYR n235_a_dick_1952__1_1_6_1_1->n235_a_dick_1952__1_1_6_1_1_2 n235_a_dick_1952__1_1_6_1_1_1->n235_a_dick_1952__1_1_6_1_1_1_1 n235_a_dick_1952__1_1_6_1_1_2_1 ILYR n235_a_dick_1952__1_1_6_1_1_2->n235_a_dick_1952__1_1_6_1_1_2_1 n235_a_dick_1952__1_1_6_1_1_2_2 CONJP n235_a_dick_1952__1_1_6_1_1_2->n235_a_dick_1952__1_1_6_1_1_2_2 n235_a_dick_1952__1_1_6_1_1_2_1_1 NP-SBJ n235_a_dick_1952__1_1_6_1_1_2_1->n235_a_dick_1952__1_1_6_1_1_2_1_1 n235_a_dick_1952__1_1_6_1_1_2_1_2 VBP;_Ip_ n235_a_dick_1952__1_1_6_1_1_2_1->n235_a_dick_1952__1_1_6_1_1_2_1_2 n235_a_dick_1952__1_1_6_1_1_2_1_3 ADVP-CLR n235_a_dick_1952__1_1_6_1_1_2_1->n235_a_dick_1952__1_1_6_1_1_2_1_3 n235_a_dick_1952__1_1_6_1_1_2_1_1_1 PRO n235_a_dick_1952__1_1_6_1_1_2_1_1->n235_a_dick_1952__1_1_6_1_1_2_1_1_1 n235_a_dick_1952__1_1_6_1_1_2_1_1_1->n235_a_dick_1952__1_1_6_1_1_2_1_1_1_1 n235_a_dick_1952__1_1_6_1_1_2_1_2->n235_a_dick_1952__1_1_6_1_1_2_1_2_1 n235_a_dick_1952__1_1_6_1_1_2_1_3_1 ADVR n235_a_dick_1952__1_1_6_1_1_2_1_3->n235_a_dick_1952__1_1_6_1_1_2_1_3_1 n235_a_dick_1952__1_1_6_1_1_2_1_3_1->n235_a_dick_1952__1_1_6_1_1_2_1_3_1_1 n235_a_dick_1952__1_1_6_1_1_2_2_1 CONJ n235_a_dick_1952__1_1_6_1_1_2_2->n235_a_dick_1952__1_1_6_1_1_2_2_1 n235_a_dick_1952__1_1_6_1_1_2_2_2 ILYR n235_a_dick_1952__1_1_6_1_1_2_2->n235_a_dick_1952__1_1_6_1_1_2_2_2 n235_a_dick_1952__1_1_6_1_1_2_2_1->n235_a_dick_1952__1_1_6_1_1_2_2_1_1 n235_a_dick_1952__1_1_6_1_1_2_2_2_1 NEG n235_a_dick_1952__1_1_6_1_1_2_2_2->n235_a_dick_1952__1_1_6_1_1_2_2_2_1 n235_a_dick_1952__1_1_6_1_1_2_2_2_1->n235_a_dick_1952__1_1_6_1_1_2_2_2_1_1 n235_a_dick_1952__1_2->n235_a_dick_1952__1_2_1 n235_a_dick_1952__1_3->n235_a_dick_1952__1_3_1 
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (ADV So;{so}))
                      (NP-OB1 (WD what;{what})
                              (N difference;{difference}))
                      (DOP does;{do})
                      (NP-SBJ (PRO it;{it}))
                      (VB;_Tn_ make;{make})
                      (PRN (CP-QUE (IP-SUB (WQ whether;{whether})
                                           (ILYR (ILYR (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                                       (VBP;_Ip_ go;{go[closer]})
                                                       (ADVP-CLR (ADVR closer;{close})))
                                                 (CONJP (CONJ or;{or})
                                                        (ILYR (NEG not;{not}))))))))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 235_a_dick_1952))