TSPC 81_a_hardy

81_a_hardy_1883
Their light disclosed that the stranger was dark in complexion and not unprepossessing as to feature.

( (IP-MAT (NP-SBJ (NP-GEN;{CANDLES} (PRO;_genm_ Their;{their}))
                  (N light;{light}))
          (VBD;_Tf_ disclosed;{disclose})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{PEDESTRIAN} (D the;{the})
                                                   (N stranger;{stranger}))
                              (ILYR (ILYR (BED;_La_ was;{be})
                                          (ADJP-PRD (ADJ dark;{dark}))
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (N complexion;{complexion}))))
                                    (CONJP (CONJ and;{and})
                                           (ILYR (NEG not;{not})
                                                 (ADJP-PRD (ADJ unprepossessing;{unprepossessing}))
                                                 (PP-NIM (P-ROLE as_to;{as_to})
                                                         (NP (N feature;{feature}))))))))
          (PUNC .))
  (ID 81_a_hardy_1883))

arc(r_0081_0002__light,r_0081_0001__Their,gen).
arc(r_0081_0003__disclosed,r_0081_0002__light,arg0).
arc(r_0081_0003__disclosed,r_0081_0011__and,arg1).
arc(r_0081_0007__was,r_0081_0005__the_r_0081_0006__stranger,arg0).
arc(r_0081_0007__was,r_0081_0008__dark,prd).
arc(r_0081_0007__was,r_0081_0010__complexion,r_0081_0009__in__nim).
arc(r_0081_0011__and,r_0081_0007__was,conj1).
arc(r_0081_0011__and,r_0081_0012__not,conj2).
arc(r_0081_0012__not,z_0081_5010,keep_scope).
arc(z_0081_5010,r_0081_0005__the_r_0081_0006__stranger,arg0).
arc(z_0081_5010,r_0081_0013__unprepossessing,prd).
arc(z_0081_5010,r_0081_0015__feature,r_0081_0014__as_to__nim).

fof(formula,axiom,
    ? [R_0081_0001__THEIR,R_0081_0002__LIGHT,R_0081_0005__THE_R_0081_0006__STRANGER,R_0081_0008__DARK,R_0081_0010__COMPLEXION,R_0081_0007__WAS,R_0081_0011__AND,R_0081_0003__DISCLOSED] :
      ( r_0081_0001__Their(R_0081_0001__THEIR)
      & r_0081_0005__the_r_0081_0006__stranger(R_0081_0005__THE_R_0081_0006__STRANGER)
      & r_0081_0008__dark(R_0081_0008__DARK)
      & r_0081_0010__complexion(R_0081_0010__COMPLEXION)
      & r_0081_0003__disclosed(R_0081_0003__DISCLOSED)
      & has_arg1(R_0081_0003__DISCLOSED,R_0081_0011__AND)
      & r_0081_0011__and(R_0081_0011__AND)
      & has_conj2(R_0081_0011__AND,R_0081_0012__NOT)
      & ~ ? [R_0081_0013__UNPREPOSSESSING,R_0081_0015__FEATURE,Z_0081_5010] :
            ( r_0081_0013__unprepossessing(R_0081_0013__UNPREPOSSESSING)
            & r_0081_0015__feature(R_0081_0015__FEATURE)
            & z_0081_5010(Z_0081_5010)
            & has_r_0081_0014__as_to__nim(Z_0081_5010,R_0081_0015__FEATURE)
            & has_prd(Z_0081_5010,R_0081_0013__UNPREPOSSESSING)
            & has_arg0(Z_0081_5010,R_0081_0005__THE_R_0081_0006__STRANGER) )
      & has_conj1(R_0081_0011__AND,R_0081_0007__WAS)
      & r_0081_0007__was(R_0081_0007__WAS)
      & has_r_0081_0009__in__nim(R_0081_0007__WAS,R_0081_0010__COMPLEXION)
      & has_prd(R_0081_0007__WAS,R_0081_0008__DARK)
      & has_arg0(R_0081_0007__WAS,R_0081_0005__THE_R_0081_0006__STRANGER)
      & has_arg0(R_0081_0003__DISCLOSED,R_0081_0002__LIGHT)
      & r_0081_0002__light(R_0081_0002__LIGHT)
      & has_gen(R_0081_0002__LIGHT,R_0081_0001__THEIR) ) ).