TSPC 59_a_wilde_1

59_a_wilde_1_1888
“When I was alive and had a human heart,” answered the statue, “I did not know what tears were, for I lived in the Palace of Sans-Souci, where sorrow is not allowed to enter.

arc(r_0059_0002__When, r_0059_0006__and, restriction).
arc(r_0059_0002__When, r_0059_0020__not, scope).
arc(r_0059_0004__was, r_0059_0003__I, arg0).
arc(r_0059_0004__was, r_0059_0005__alive, prd).
arc(r_0059_0006__and, r_0059_0004__was, conj1).
arc(r_0059_0006__and, r_0059_0007__had, conj2).
arc(r_0059_0007__had, r_0059_0003__I, arg0).
arc(r_0059_0007__had, r_0059_0008__a_r_0059_0010__heart, arg1).
arc(r_0059_0008__a_r_0059_0010__heart, r_0059_0009__human, attrib27).
arc(r_0059_0019__did_r_0059_0021__know, r_0059_0018__I, arg0).
arc(r_0059_0019__did_r_0059_0021__know, r_0059_0024__were, arg1).
arc(r_0059_0020__not, r_0059_0026__for, keep_scope).
arc(r_0059_0024__were, r_0059_0022__what, prd).
arc(r_0059_0024__were, r_0059_0023__tears, arg0).
arc(r_0059_0026__for, r_0059_0019__did_r_0059_0021__know, scope).
arc(r_0059_0026__for, r_0059_0028__lived, restriction).
arc(r_0059_0028__lived, r_0059_0018__I, arg0).
arc(r_0059_0028__lived, r_0059_0030__the_r_0059_0031__Palace, r_0059_0029__in_clr82).
arc(r_0059_0030__the_r_0059_0031__Palace, r_0059_0033__Sans__hyphen__Souci, r_0059_0032__of).
arc(r_0059_0037__is, r_0059_0038__not, scope).
arc(r_0059_0038__not, r_0059_0039__allowed, keep_scope).
arc(r_0059_0039__allowed, r_0059_0040__to_r_0059_0041__enter, arg1).
arc(r_0059_0039__allowed, z_000_59_a_wilde_1_1888_105, arg0).
arc(r_0059_0040__to_r_0059_0041__enter, r_0059_0030__the_r_0059_0031__Palace, nim112).
arc(r_0059_0040__to_r_0059_0041__enter, r_0059_0036__sorrow, arg0).

fof(formula,axiom,
    ( ! [R_59_6_AND,R_59_4_WAS,R_59_5_ALIVE,R_59_7_HAD,R_59_3_I,R_59_8_A_HEART,R_59_9_HUMAN] :
        ( ( alive(R_59_5_ALIVE)
          & i(R_59_3_I)
          & human(R_59_9_HUMAN)
          & and(R_59_6_AND)
          & conj1(R_59_6_AND,R_59_4_WAS)
          & was(R_59_4_WAS,R_59_3_I,R_59_5_ALIVE)
          & conj2(R_59_6_AND,R_59_7_HAD)
          & had(R_59_7_HAD,R_59_3_I,R_59_8_A_HEART)
          & a_heart(R_59_8_A_HEART)
          & attrib27(R_59_8_A_HEART,R_59_9_HUMAN) )
       => ~ ? [R_59_26_FOR,R_59_28_LIVED,R_59_30_THE_PALACE,R_59_33_SANS_HYPHEN_SOUCI,R_59_19_DID_KNOW,R_59_18_I,R_59_24_WERE,R_59_23_TEARS,R_59_22_WHAT] :
              ( sans_hyphen_Souci(R_59_33_SANS_HYPHEN_SOUCI)
              & i(R_59_18_I)
              & tears(R_59_23_TEARS)
              & what(R_59_22_WHAT)
              & for(R_59_26_FOR)
              & conj1(R_59_26_FOR,R_59_28_LIVED)
              & lived(R_59_28_LIVED,R_59_18_I)
              & in_clr82(R_59_28_LIVED,R_59_30_THE_PALACE)
              & the_Palace(R_59_30_THE_PALACE)
              & of(R_59_30_THE_PALACE,R_59_33_SANS_HYPHEN_SOUCI)
              & conj2(R_59_26_FOR,R_59_19_DID_KNOW)
              & did_know(R_59_19_DID_KNOW,R_59_18_I,R_59_24_WERE)
              & were(R_59_24_WERE,R_59_23_TEARS,R_59_22_WHAT) ) )
    & ~ ? [R_59_39_ALLOWED,Z_59_A_WILDE_1_1888_105,R_59_40_TO_ENTER,R_59_36_SORROW,R_59_30_THE_PALACE,R_59_33_SANS_HYPHEN_SOUCI] :
          ( sorrow(R_59_36_SORROW)
          & sans_hyphen_Souci(R_59_33_SANS_HYPHEN_SOUCI)
          & allowed(R_59_39_ALLOWED,Z_59_A_WILDE_1_1888_105,R_59_40_TO_ENTER)
          & to_enter(R_59_40_TO_ENTER,R_59_36_SORROW)
          & nim112(R_59_40_TO_ENTER,R_59_30_THE_PALACE)
          & the_Palace(R_59_30_THE_PALACE)
          & of(R_59_30_THE_PALACE,R_59_33_SANS_HYPHEN_SOUCI) ) ) ).

( (IP-MAT (PULQ <ldquo>)
          (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{PRINCE} (PRO I;{I}))
                           (ILYR (ILYR (BED;_La_ was;{be})
                                       (ADJP-PRD (ADJ alive;{alive})))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (HVD;_Tn_ had;{have})
                                              (NP-OB1 (D a;{a})
                                                      (ADJP (ADJ human;{human}))
                                                      (N heart;{heart})))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (PRN (IP-MAT (VBD;_Tf_ answered;{answer})
                       (NP-SBJ (D the;{the})
                               (N statue;{statue}))))
          (PUNC ,)
          (PULQ <ldquo>)
          (NP-SBJ;{PRINCE} (PRO I;{I}))
          (DOD did;{do})
          (NEG not;{not})
          (VB;_Tw_ know;{know})
          (CP-QUE-OB1 (IP-SUB (NP-PRD (WPRO what;{what}))
                              (NP-SBJ (NS tears;{tear}))
                              (BED;_Ln_ were;{be})))
          (PUNC ,)
          (PP-SCON (P-CONN for;{for})
                   (IP-ADV (NP-SBJ;{PRINCE} (PRO I;{I}))
                           (VBD;_Ipr_ lived;{live[in]})
                           (PP-CLR (P-ROLE in;{in})
                                   (NP (D the;{the})
                                       (N Palace;{palace})
                                       (PP (P-ROLE of;{of})
                                           (NP (NPR Sans_<hyphen>_Souci;{Sans_Souci})))
                                       (PUNC ,)
                                       (IP-REL (ADVP-130 (RADV where;{where}))
                                               (NP-SBJ (N sorrow;{sorrow}))
                                               (BEP;_cat_VePASS_ is;{be})
                                               (IP-PPL-CAT (NP-LGS *)
                                                           (NEG not;{not})
                                                           (VVN;_Tnt_ allowed;{allow})
                                                           (IP-INF-OB1 (ADVP-NIM *ICH*-130)
                                                                       (TO to;{to})
                                                                       (VB;_I_ enter;{enter}))))))))
          (PUNC .))
  (ID 59_a_wilde_1_1888))