82_a_hardy_1883
Their light disclosed that the stranger was dark in complexion and not unprepossessing as to feature.
arc(r_0082_0002__light, r_0082_0001__Their, gen).
arc(r_0082_0003__disclosed, r_0082_0002__light, arg0).
arc(r_0082_0003__disclosed, r_0082_0011__and, arg1).
arc(r_0082_0007__was, r_0082_0005__the_r_0082_0006__stranger, arg0).
arc(r_0082_0007__was, r_0082_0008__dark, prd).
arc(r_0082_0007__was, r_0082_0010__complexion, r_0082_0009__in_nim29).
arc(r_0082_0011__and, r_0082_0007__was, conj1).
arc(r_0082_0011__and, r_0082_0012__not, conj2).
arc(r_0082_0012__not, z_000_82_a_hardy_1883_35, keep_scope).
arc(z_000_82_a_hardy_1883_35, r_0082_0005__the_r_0082_0006__stranger, arg0).
arc(z_000_82_a_hardy_1883_35, r_0082_0013__unprepossessing, prd).
arc(z_000_82_a_hardy_1883_35, r_0082_0015__feature, r_0082_0014__as_to_nim44).
fof(formula,axiom,
? [R_82_3_DISCLOSED,R_82_2_LIGHT,R_82_1_THEIR,R_82_11_AND,R_82_7_WAS,R_82_5_THE_STRANGER,R_82_8_DARK,R_82_10_COMPLEXION] :
( their(R_82_1_THEIR)
& the_stranger(R_82_5_THE_STRANGER)
& dark(R_82_8_DARK)
& complexion(R_82_10_COMPLEXION)
& disclosed(R_82_3_DISCLOSED,R_82_2_LIGHT,R_82_11_AND)
& light(R_82_2_LIGHT)
& gen(R_82_2_LIGHT,R_82_1_THEIR)
& and(R_82_11_AND)
& conj1(R_82_11_AND,R_82_7_WAS)
& was(R_82_7_WAS,R_82_5_THE_STRANGER,R_82_8_DARK)
& in_nim29(R_82_7_WAS,R_82_10_COMPLEXION)
& conj2(R_82_11_AND,R_82_12_NOT)
& ~ ? [Z_82_A_HARDY_1883_35,R_82_13_UNPREPOSSESSING,R_82_15_FEATURE] :
( unprepossessing(R_82_13_UNPREPOSSESSING)
& feature(R_82_15_FEATURE)
& z_82_a_hardy_1883_35(Z_82_A_HARDY_1883_35,R_82_5_THE_STRANGER,R_82_13_UNPREPOSSESSING)
& as_to_nim44(Z_82_A_HARDY_1883_35,R_82_15_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 82_a_hardy_1883))