TSPC 91_a_joyce

91_a_joyce_1914
I remembered that I had noticed long velvet curtains and a swinging lamp of antique fashion.

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Tf_ remembered;{remember})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (PRO I;{I}))
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (VVN;_Tn_ noticed;{notice})
                                          (NP-OB1 (NLYR (NLYR (ADJP (ADJ long;{long}))
                                                              (N velvet;{velvet})
                                                              (NS curtains;{curtain}))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (D a;{a})
                                                                     (ADJP (ADJ swinging;{swinging}))
                                                                     (N lamp;{lamp})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (ADJP (ADJ antique;{antique}))
                                                                             (N fashion;{fashion}))))))))))
          (PUNC .))
  (ID 91_a_joyce_1914))

arc(r_0091_0002__remembered,r_0091_0001__I,arg0).
arc(r_0091_0002__remembered,r_0091_0005__had,arg1).
arc(r_0091_0005__had,r_0091_0006__noticed,scope).
arc(r_0091_0006__noticed,r_0091_0001__I,arg0).
arc(r_0091_0006__noticed,r_0091_0010__and,arg1).
arc(r_0091_0008__velvet_r_0091_0009__curtains,r_0091_0007__long,attrib).
arc(r_0091_0010__and,r_0091_0008__velvet_r_0091_0009__curtains,conj1).
arc(r_0091_0010__and,r_0091_0011__a_r_0091_0013__lamp,conj2).
arc(r_0091_0011__a_r_0091_0013__lamp,r_0091_0012__swinging,attrib).
arc(r_0091_0011__a_r_0091_0013__lamp,r_0091_0016__fashion,r_0091_0014__of).
arc(r_0091_0016__fashion,r_0091_0015__antique,attrib).

fof(formula,axiom,
    ? [R_0091_0001__I,R_0091_0007__LONG,R_0091_0008__VELVET_R_0091_0009__CURTAINS,R_0091_0012__SWINGING,R_0091_0015__ANTIQUE,R_0091_0016__FASHION,R_0091_0011__A_R_0091_0013__LAMP,R_0091_0010__AND,R_0091_0005__HAD_R_0091_0006__NOTICED,R_0091_0002__REMEMBERED] :
      ( r_0091_0001__I(R_0091_0001__I)
      & r_0091_0007__long(R_0091_0007__LONG)
      & r_0091_0012__swinging(R_0091_0012__SWINGING)
      & r_0091_0015__antique(R_0091_0015__ANTIQUE)
      & r_0091_0002__remembered(R_0091_0002__REMEMBERED)
      & has_arg1(R_0091_0002__REMEMBERED,R_0091_0005__HAD_R_0091_0006__NOTICED)
      & ~ ( has_arg1(R_0091_0005__HAD_R_0091_0006__NOTICED,R_0091_0010__AND)
          & r_0091_0010__and(R_0091_0010__AND)
          & has_conj2(R_0091_0010__AND,R_0091_0011__A_R_0091_0013__LAMP)
          & r_0091_0011__a_r_0091_0013__lamp(R_0091_0011__A_R_0091_0013__LAMP)
          & has_r_0091_0014__of(R_0091_0011__A_R_0091_0013__LAMP,R_0091_0016__FASHION)
          & r_0091_0016__fashion(R_0091_0016__FASHION)
          & has_attrib(R_0091_0016__FASHION,R_0091_0015__ANTIQUE)
          & has_attrib(R_0091_0011__A_R_0091_0013__LAMP,R_0091_0012__SWINGING)
          & has_conj1(R_0091_0010__AND,R_0091_0008__VELVET_R_0091_0009__CURTAINS)
          & r_0091_0008__velvet_r_0091_0009__curtains(R_0091_0008__VELVET_R_0091_0009__CURTAINS)
          & has_attrib(R_0091_0008__VELVET_R_0091_0009__CURTAINS,R_0091_0007__LONG)
          & has_arg0(R_0091_0005__HAD_R_0091_0006__NOTICED,R_0091_0001__I) )
      & has_arg0(R_0091_0002__REMEMBERED,R_0091_0001__I) ) ).