Context                Previous, Next                Top


29_a_dick_1952
He tried to smile, but his lips stayed unmoved.

%3 r_0029_0002__tried tried r_0029_0001__He He r_0029_0002__tried->r_0029_0001__He [arg0] r_0029_0003__to_r_0029_0004__smile to smile r_0029_0002__tried->r_0029_0003__to_r_0029_0004__smile [clr] r_0029_0003__to_r_0029_0004__smile->r_0029_0001__He [arg0] r_0029_0006__but but r_0029_0006__but->r_0029_0002__tried [conj1] r_0029_0009__stayed stayed r_0029_0006__but->r_0029_0009__stayed [conj2] r_0029_0008__lips lips r_0029_0009__stayed->r_0029_0008__lips [arg0] r_0029_0010__unmoved unmoved r_0029_0009__stayed->r_0029_0010__unmoved [prd] r_0029_0007__his his r_0029_0008__lips->r_0029_0007__his [gen] 
arc(r_0029_0002__tried, r_0029_0001__He, arg0).
arc(r_0029_0002__tried, r_0029_0003__to_r_0029_0004__smile, clr9).
arc(r_0029_0003__to_r_0029_0004__smile, r_0029_0001__He, arg0).
arc(r_0029_0006__but, r_0029_0002__tried, conj1).
arc(r_0029_0006__but, r_0029_0009__stayed, conj2).
arc(r_0029_0008__lips, r_0029_0007__his, gen).
arc(r_0029_0009__stayed, r_0029_0008__lips, arg0).
arc(r_0029_0009__stayed, r_0029_0010__unmoved, prd).


%3 r_0029_0009__stayed stayed r_0029_0010__unmoved unmoved r_0029_0009__stayed->r_0029_0010__unmoved [prd] r_0029_0008__lips lips r_0029_0009__stayed->r_0029_0008__lips [arg0] r_0029_0007__his his r_0029_0008__lips->r_0029_0007__his [gen] r_0029_0006__but but r_0029_0006__but->r_0029_0009__stayed [conj2] r_0029_0002__tried tried r_0029_0006__but->r_0029_0002__tried [conj1] r_0029_0003__to_r_0029_0004__smile to smile r_0029_0002__tried->r_0029_0003__to_r_0029_0004__smile [clr] r_0029_0001__He He r_0029_0002__tried->r_0029_0001__He [arg0] r_0029_0003__to_r_0029_0004__smile->r_0029_0001__He [arg0] 
fof(formula,axiom,
    ? [R_29_6_BUT,R_29_2_TRIED,R_29_3_TO_SMILE,R_29_1_HE,R_29_9_STAYED,R_29_8_LIPS,R_29_7_HIS,R_29_10_UNMOVED] :
      ( he(R_29_1_HE)
      & his(R_29_7_HIS)
      & unmoved(R_29_10_UNMOVED)
      & but(R_29_6_BUT)
      & conj1(R_29_6_BUT,R_29_2_TRIED)
      & tried(R_29_2_TRIED,R_29_1_HE)
      & clr9(R_29_2_TRIED,R_29_3_TO_SMILE)
      & to_smile(R_29_3_TO_SMILE,R_29_1_HE)
      & conj2(R_29_6_BUT,R_29_9_STAYED)
      & stayed(R_29_9_STAYED,R_29_8_LIPS,R_29_10_UNMOVED)
      & lips(R_29_8_LIPS)
      & gen(R_29_8_LIPS,R_29_7_HIS) ) ).


n29_a_dick_1952 n29_a_dick_1952__1_1_1_1_1_1 He n29_a_dick_1952__1_1_1_2_1 tried n29_a_dick_1952__1_1_1_3_1_1 to n29_a_dick_1952__1_1_1_3_2_1 smile n29_a_dick_1952__1_1_2_1 , n29_a_dick_1952__1_1_3_1_1 but n29_a_dick_1952__1_1_3_2_1_1_1_1 his n29_a_dick_1952__1_1_3_2_1_2_1 lips n29_a_dick_1952__1_1_3_2_2_1 stayed n29_a_dick_1952__1_1_3_2_3_1_1 unmoved n29_a_dick_1952__1_2_1 . n29_a_dick_1952__1 IP-MAT n29_a_dick_1952__1_1 ILYR n29_a_dick_1952__1->n29_a_dick_1952__1_1 n29_a_dick_1952__1_2 PUNC n29_a_dick_1952__1->n29_a_dick_1952__1_2 n29_a_dick_1952__1_1_1 ILYR n29_a_dick_1952__1_1->n29_a_dick_1952__1_1_1 n29_a_dick_1952__1_1_2 PUNC n29_a_dick_1952__1_1->n29_a_dick_1952__1_1_2 n29_a_dick_1952__1_1_3 CONJP n29_a_dick_1952__1_1->n29_a_dick_1952__1_1_3 n29_a_dick_1952__1_1_1_1 NP-SBJ n29_a_dick_1952__1_1_1->n29_a_dick_1952__1_1_1_1 n29_a_dick_1952__1_1_1_2 VBD;_It_ n29_a_dick_1952__1_1_1->n29_a_dick_1952__1_1_1_2 n29_a_dick_1952__1_1_1_3 IP-INF-CLR n29_a_dick_1952__1_1_1->n29_a_dick_1952__1_1_1_3 n29_a_dick_1952__1_1_1_1_1 PRO n29_a_dick_1952__1_1_1_1->n29_a_dick_1952__1_1_1_1_1 n29_a_dick_1952__1_1_1_1_1->n29_a_dick_1952__1_1_1_1_1_1 n29_a_dick_1952__1_1_1_2->n29_a_dick_1952__1_1_1_2_1 n29_a_dick_1952__1_1_1_3_1 TO n29_a_dick_1952__1_1_1_3->n29_a_dick_1952__1_1_1_3_1 n29_a_dick_1952__1_1_1_3_2 VB;_I_ n29_a_dick_1952__1_1_1_3->n29_a_dick_1952__1_1_1_3_2 n29_a_dick_1952__1_1_1_3_1->n29_a_dick_1952__1_1_1_3_1_1 n29_a_dick_1952__1_1_1_3_2->n29_a_dick_1952__1_1_1_3_2_1 n29_a_dick_1952__1_1_2->n29_a_dick_1952__1_1_2_1 n29_a_dick_1952__1_1_3_1 CONJ n29_a_dick_1952__1_1_3->n29_a_dick_1952__1_1_3_1 n29_a_dick_1952__1_1_3_2 ILYR n29_a_dick_1952__1_1_3->n29_a_dick_1952__1_1_3_2 n29_a_dick_1952__1_1_3_1->n29_a_dick_1952__1_1_3_1_1 n29_a_dick_1952__1_1_3_2_1 NP-SBJ n29_a_dick_1952__1_1_3_2->n29_a_dick_1952__1_1_3_2_1 n29_a_dick_1952__1_1_3_2_2 VBD;_La_ n29_a_dick_1952__1_1_3_2->n29_a_dick_1952__1_1_3_2_2 n29_a_dick_1952__1_1_3_2_3 ADJP-PRD n29_a_dick_1952__1_1_3_2->n29_a_dick_1952__1_1_3_2_3 n29_a_dick_1952__1_1_3_2_1_1 NP-GEN n29_a_dick_1952__1_1_3_2_1->n29_a_dick_1952__1_1_3_2_1_1 n29_a_dick_1952__1_1_3_2_1_2 NS n29_a_dick_1952__1_1_3_2_1->n29_a_dick_1952__1_1_3_2_1_2 n29_a_dick_1952__1_1_3_2_1_1_1 PRO;_genm_ n29_a_dick_1952__1_1_3_2_1_1->n29_a_dick_1952__1_1_3_2_1_1_1 n29_a_dick_1952__1_1_3_2_1_1_1->n29_a_dick_1952__1_1_3_2_1_1_1_1 n29_a_dick_1952__1_1_3_2_1_2->n29_a_dick_1952__1_1_3_2_1_2_1 n29_a_dick_1952__1_1_3_2_2->n29_a_dick_1952__1_1_3_2_2_1 n29_a_dick_1952__1_1_3_2_3_1 ADJ n29_a_dick_1952__1_1_3_2_3->n29_a_dick_1952__1_1_3_2_3_1 n29_a_dick_1952__1_1_3_2_3_1->n29_a_dick_1952__1_1_3_2_3_1_1 n29_a_dick_1952__1_2->n29_a_dick_1952__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{FOMAR} (PRO He;{he}))
                      (VBD;_It_ tried;{try})
                      (IP-INF-CLR (TO to;{to})
                                  (VB;_I_ smile;{smile})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (NP-GEN;{FOMAR} (PRO;_genm_ his;{his}))
                                     (NS lips;{lip}))
                             (VBD;_La_ stayed;{stay})
                             (ADJP-PRD (ADJ unmoved;{unmoved})))))
          (PUNC .))
  (ID 29_a_dick_1952))