TSPC 57_a_joyce

57_a_joyce_1914
I drew the blankets over my head and tried to think of Christmas.

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (ILYR (ILYR (VBD;_Tn.pr_ drew;{draw[over]})
                      (NP-OB1 (D the;{the})
                              (NS blankets;{blanket}))
                      (PP-CLR (P-ROLE over;{over})
                              (NP (NP-GEN (PRO;_genm_ my;{my}))
                                  (N head;{head}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tt_ tried;{try})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_Ipr_ think;{think[of]})
                                         (PP-CLR (P-ROLE of;{of})
                                                 (NP (N Christmas;{christmas})))))))
          (PUNC .))
  (ID 57_a_joyce_1914))

arc(r_0057_0002__drew_r_0057_0005__over,r_0057_0001__I,arg0).
arc(r_0057_0002__drew_r_0057_0005__over,r_0057_0003__the_r_0057_0004__blankets,arg1).
arc(r_0057_0002__drew_r_0057_0005__over,r_0057_0007__head,arg2).
arc(r_0057_0007__head,r_0057_0001__I,gen).
arc(r_0057_0008__and,r_0057_0002__drew_r_0057_0005__over,conj1).
arc(r_0057_0008__and,r_0057_0009__tried,conj2).
arc(r_0057_0009__tried,r_0057_0001__I,arg0).
arc(r_0057_0009__tried,r_0057_0011__think_r_0057_0012__of,arg1).
arc(r_0057_0011__think_r_0057_0012__of,r_0057_0001__I,arg0).
arc(r_0057_0011__think_r_0057_0012__of,r_0057_0013__Christmas,arg1).

fof(formula,axiom,
    ? [R_0057_0001__I,R_0057_0003__THE_R_0057_0004__BLANKETS,R_0057_0007__HEAD,R_0057_0002__DREW_R_0057_0005__OVER,R_0057_0013__CHRISTMAS,R_0057_0011__THINK_R_0057_0012__OF,R_0057_0009__TRIED,R_0057_0008__AND] :
      ( r_0057_0001__I(R_0057_0001__I)
      & r_0057_0003__the_r_0057_0004__blankets(R_0057_0003__THE_R_0057_0004__BLANKETS)
      & r_0057_0013__Christmas(R_0057_0013__CHRISTMAS)
      & r_0057_0008__and(R_0057_0008__AND)
      & has_conj2(R_0057_0008__AND,R_0057_0009__TRIED)
      & r_0057_0009__tried(R_0057_0009__TRIED)
      & has_arg1(R_0057_0009__TRIED,R_0057_0011__THINK_R_0057_0012__OF)
      & r_0057_0011__think_r_0057_0012__of(R_0057_0011__THINK_R_0057_0012__OF)
      & has_arg1(R_0057_0011__THINK_R_0057_0012__OF,R_0057_0013__CHRISTMAS)
      & has_arg0(R_0057_0011__THINK_R_0057_0012__OF,R_0057_0001__I)
      & has_arg0(R_0057_0009__TRIED,R_0057_0001__I)
      & has_conj1(R_0057_0008__AND,R_0057_0002__DREW_R_0057_0005__OVER)
      & r_0057_0002__drew_r_0057_0005__over(R_0057_0002__DREW_R_0057_0005__OVER)
      & has_arg2(R_0057_0002__DREW_R_0057_0005__OVER,R_0057_0007__HEAD)
      & r_0057_0007__head(R_0057_0007__HEAD)
      & has_gen(R_0057_0007__HEAD,R_0057_0001__I)
      & has_arg1(R_0057_0002__DREW_R_0057_0005__OVER,R_0057_0003__THE_R_0057_0004__BLANKETS)
      & has_arg0(R_0057_0002__DREW_R_0057_0005__OVER,R_0057_0001__I) ) ).