TSPC 22_a_wilde_2

22_a_wilde_2_1888
The birds did not care to sing in it as there were no children, and the trees forgot to blossom.

( (IP-MAT (ILYR (ILYR (ILYR (NP-SBJ (D The;{the})
                                    (NS birds;{bird}))
                            (DOD did;{do})
                            (NEG not;{not})
                            (VB;_It_ care;{care})
                            (IP-INF-CLR (TO to;{to})
                                        (VB;_I_ sing;{sing})
                                        (PP-NIM (P-ROLE in;{in})
                                                (NP;{GARDEN} (PRO it;{it})))))
                      (PP-SCON (P-CONN as;{as})
                               (IP-ADV (EX there;{there})
                                       (BED;_ex_V_ were;{be})
                                       (NP-ESBJ (Q no;{no})
                                                (NS children;{child})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (NS trees;{tree}))
                             (VBD;_Tt_ forgot;{forget})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_I_ blossom;{blossom})))))
          (PUNC .))
  (ID 22_a_wilde_2_1888))

arc(r_0022_0003__did_r_0022_0005__care,r_0022_0001__The_r_0022_0002__birds,arg0).
arc(r_0022_0003__did_r_0022_0005__care,r_0022_0007__sing,clr).
arc(r_0022_0004__not,r_0022_0003__did_r_0022_0005__care,keep_scope).
arc(r_0022_0007__sing,r_0022_0001__The_r_0022_0002__birds,arg0).
arc(r_0022_0007__sing,r_0022_0009__it,r_0022_0008__in__nim).
arc(r_0022_0010__as,r_0022_0004__not,scope).
arc(r_0022_0010__as,r_0022_0013__no__quant,restriction).
arc(r_0022_0012__were,r_0022_0014__children,arg0).
arc(r_0022_0013__no__quant,r_0022_0012__were,scope).
arc(r_0022_0013__no__quant,r_0022_0014__children,restriction).
arc(r_0022_0016__and,r_0022_0010__as,conj1).
arc(r_0022_0016__and,r_0022_0019__forgot,conj2).
arc(r_0022_0019__forgot,r_0022_0017__the_r_0022_0018__trees,arg0).
arc(r_0022_0019__forgot,r_0022_0021__blossom,arg1).
arc(r_0022_0021__blossom,r_0022_0017__the_r_0022_0018__trees,arg0).

fof(formula,axiom,
    ? [R_0022_0010__AS,R_0022_0017__THE_R_0022_0018__TREES,R_0022_0021__BLOSSOM,R_0022_0019__FORGOT,R_0022_0016__AND] :
      ( r_0022_0017__the_r_0022_0018__trees(R_0022_0017__THE_R_0022_0018__TREES)
      & r_0022_0016__and(R_0022_0016__AND)
      & has_conj2(R_0022_0016__AND,R_0022_0019__FORGOT)
      & r_0022_0019__forgot(R_0022_0019__FORGOT)
      & has_arg1(R_0022_0019__FORGOT,R_0022_0021__BLOSSOM)
      & r_0022_0021__blossom(R_0022_0021__BLOSSOM)
      & has_arg0(R_0022_0021__BLOSSOM,R_0022_0017__THE_R_0022_0018__TREES)
      & has_arg0(R_0022_0019__FORGOT,R_0022_0017__THE_R_0022_0018__TREES)
      & has_conj1(R_0022_0016__AND,R_0022_0010__AS)
      & r_0022_0010__as(R_0022_0010__AS)
      & ! [R_0022_0014__CHILDREN] :
          ( r_0022_0014__children(R_0022_0014__CHILDREN)
         => ? [R_0022_0012__WERE] :
              ( r_0022_0012__were(R_0022_0012__WERE)
              & has_arg0(R_0022_0012__WERE,R_0022_0014__CHILDREN) ) )
      & has_conj2(R_0022_0010__AS,R_0022_0004__NOT)
      & ~ ? [R_0022_0001__THE_R_0022_0002__BIRDS,R_0022_0009__IT,R_0022_0007__SING,R_0022_0003__DID_R_0022_0005__CARE] :
            ( r_0022_0001__The_r_0022_0002__birds(R_0022_0001__THE_R_0022_0002__BIRDS)
            & r_0022_0009__it(R_0022_0009__IT)
            & r_0022_0003__did_r_0022_0005__care(R_0022_0003__DID_R_0022_0005__CARE)
            & has_clr(R_0022_0003__DID_R_0022_0005__CARE,R_0022_0007__SING)
            & r_0022_0007__sing(R_0022_0007__SING)
            & has_r_0022_0008__in__nim(R_0022_0007__SING,R_0022_0009__IT)
            & has_arg0(R_0022_0007__SING,R_0022_0001__THE_R_0022_0002__BIRDS)
            & has_arg0(R_0022_0003__DID_R_0022_0005__CARE,R_0022_0001__THE_R_0022_0002__BIRDS) ) ) ).