TSPC 3_a_pantomime

3_a_pantomime
It is expected to be an excellent production; it features at least one well-known children's television presenter, two Australian soap stars, and retired footballers who visited the school earlier this year for coaching sessions.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PANTOMIME} (PRO It;{it}))
                      (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tnt_ expected;{expect})
                                  (IP-INF-OB1 (TO to;{to})
                                              (BE;_Ln_ be;{be})
                                              (NP-PRD (D an;{an})
                                                      (ADJP (ADJ excellent;{excellent}))
                                                      (N production;{production})))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{PANTOMIME} (PRO it;{it}))
                             (VBP;_Tn_ features;{feature})
                             (NP-OB1 (NLYR (NLYR (ADVP (ADV at_least;{at_least}))
                                                 (NUM one;{one})
                                                 (ADJP (ADJ well_<hyphen>_known;{well_known}))
                                                 (NLYR (NP-GEN (NS children;{child})
                                                               (GENM <apos>s))
                                                       (N television;{television}))
                                                 (N presenter;{presenter}))
                                           (PUNC ,)
                                           (CONJP (NLYR (NUM two;{two})
                                                        (ADJP (ADJ Australian;{australian}))
                                                        (N soap;{soap})
                                                        (NS stars;{star})))
                                           (PUNC ,)
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (ADJP (ADJ retired;{retired}))
                                                        (NS footballers;{footballer})
                                                        (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                (VBD;_Tn_ visited;{visit})
                                                                (NP-OB1 (D the;{the})
                                                                        (N school;{school}))
                                                                (ADVP-NIM (ADVR earlier;{early})
                                                                          (NP (D this;{this})
                                                                              (N year;{year})))
                                                                (PP-NIM (P-ROLE for;{for})
                                                                        (NP (N coaching;{coaching})
                                                                            (NS sessions;{session})))))))))))
          (PUNC .))
  (ID 3_a_pantomime))

arc(r_0003_0002__is,r_0003_0003__expected,scope).
arc(r_0003_0003__expected,r_0003_0005__be,arg1).
arc(r_0003_0003__expected,z_0003_5007___star_,arg0).
arc(r_0003_0005__be,r_0003_0001__It,arg0).
arc(r_0003_0005__be,r_0003_0006__an_r_0003_0008__production,prd).
arc(r_0003_0006__an_r_0003_0008__production,r_0003_0007__excellent,attrib).
arc(r_0003_0011__features,r_0003_0001__It,arg0).
arc(r_0003_0011__features,r_0003_0025__and,arg1).
arc(r_0003_0013__one_r_0003_0018__presenter,r_0003_0012__at_least,qual).
arc(r_0003_0013__one_r_0003_0018__presenter,r_0003_0014__well__hyphen__known,attrib).
arc(r_0003_0013__one_r_0003_0018__presenter,r_0003_0017__television,nim).
arc(r_0003_0017__television,r_0003_0015__children,gen).
arc(r_0003_0020__two_r_0003_0022__soap_r_0003_0023__stars,r_0003_0021__Australian,attrib).
arc(r_0003_0025__and,r_0003_0013__one_r_0003_0018__presenter,conj1).
arc(r_0003_0025__and,r_0003_0020__two_r_0003_0022__soap_r_0003_0023__stars,conj2).
arc(r_0003_0025__and,r_0003_0027__footballers,conj3).
arc(r_0003_0027__footballers,r_0003_0026__retired,attrib).
arc(r_0003_0029__visited,r_0003_0027__footballers,arg0).
arc(r_0003_0029__visited,r_0003_0030__the_r_0003_0031__school,arg1).
arc(r_0003_0029__visited,r_0003_0032__earlier,nim).
arc(r_0003_0029__visited,r_0003_0036__coaching_r_0003_0037__sessions,r_0003_0035__for__nim).
arc(r_0003_0032__earlier,r_0003_0033__this_r_0003_0034__year,nim).
arc(z_0003_5001,r_0003_0002__is,conj1).
arc(z_0003_5001,r_0003_0011__features,conj2).

fof(formula,axiom,
    ? [R_0003_0026__RETIRED,R_0003_0027__FOOTBALLERS,R_0003_0030__THE_R_0003_0031__SCHOOL,R_0003_0033__THIS_R_0003_0034__YEAR,R_0003_0032__EARLIER,R_0003_0036__COACHING_R_0003_0037__SESSIONS,R_0003_0029__VISITED,R_0003_0001__IT,R_0003_0007__EXCELLENT,R_0003_0006__AN_R_0003_0008__PRODUCTION,R_0003_0005__BE,Z_0003_5007___STAR_,R_0003_0002__IS_R_0003_0003__EXPECTED,R_0003_0012__AT_LEAST,R_0003_0014__WELL__HYPHEN__KNOWN,R_0003_0015__CHILDREN,R_0003_0017__TELEVISION,R_0003_0013__ONE_R_0003_0018__PRESENTER,R_0003_0021__AUSTRALIAN,R_0003_0020__TWO_R_0003_0022__SOAP_R_0003_0023__STARS,R_0003_0025__AND,R_0003_0011__FEATURES,Z_0003_5001] :
      ( r_0003_0001__It(R_0003_0001__IT)
      & r_0003_0007__excellent(R_0003_0007__EXCELLENT)
      & r_0003_0012__at_least(R_0003_0012__AT_LEAST)
      & r_0003_0014__well__hyphen__known(R_0003_0014__WELL__HYPHEN__KNOWN)
      & r_0003_0015__children(R_0003_0015__CHILDREN)
      & r_0003_0021__Australian(R_0003_0021__AUSTRALIAN)
      & r_0003_0026__retired(R_0003_0026__RETIRED)
      & r_0003_0030__the_r_0003_0031__school(R_0003_0030__THE_R_0003_0031__SCHOOL)
      & r_0003_0033__this_r_0003_0034__year(R_0003_0033__THIS_R_0003_0034__YEAR)
      & r_0003_0036__coaching_r_0003_0037__sessions(R_0003_0036__COACHING_R_0003_0037__SESSIONS)
      & z_0003_5007___star_(Z_0003_5007___STAR_)
      & z_0003_5001(Z_0003_5001)
      & has_conj2(Z_0003_5001,R_0003_0011__FEATURES)
      & r_0003_0011__features(R_0003_0011__FEATURES)
      & has_arg1(R_0003_0011__FEATURES,R_0003_0025__AND)
      & r_0003_0025__and(R_0003_0025__AND)
      & has_conj3(R_0003_0025__AND,R_0003_0027__FOOTBALLERS)
      & r_0003_0027__footballers(R_0003_0027__FOOTBALLERS)
      & has_attrib(R_0003_0027__FOOTBALLERS,R_0003_0026__RETIRED)
      & has_conj2(R_0003_0025__AND,R_0003_0020__TWO_R_0003_0022__SOAP_R_0003_0023__STARS)
      & r_0003_0020__two_r_0003_0022__soap_r_0003_0023__stars(R_0003_0020__TWO_R_0003_0022__SOAP_R_0003_0023__STARS)
      & has_attrib(R_0003_0020__TWO_R_0003_0022__SOAP_R_0003_0023__STARS,R_0003_0021__AUSTRALIAN)
      & has_conj1(R_0003_0025__AND,R_0003_0013__ONE_R_0003_0018__PRESENTER)
      & r_0003_0013__one_r_0003_0018__presenter(R_0003_0013__ONE_R_0003_0018__PRESENTER)
      & has_nim(R_0003_0013__ONE_R_0003_0018__PRESENTER,R_0003_0017__TELEVISION)
      & r_0003_0017__television(R_0003_0017__TELEVISION)
      & has_gen(R_0003_0017__TELEVISION,R_0003_0015__CHILDREN)
      & has_attrib(R_0003_0013__ONE_R_0003_0018__PRESENTER,R_0003_0014__WELL__HYPHEN__KNOWN)
      & has_qual(R_0003_0013__ONE_R_0003_0018__PRESENTER,R_0003_0012__AT_LEAST)
      & has_arg0(R_0003_0011__FEATURES,R_0003_0001__IT)
      & has_conj1(Z_0003_5001,R_0003_0002__IS_R_0003_0003__EXPECTED)
      & r_0003_0002__is_r_0003_0003__expected(R_0003_0002__IS_R_0003_0003__EXPECTED)
      & has_arg0(R_0003_0002__IS_R_0003_0003__EXPECTED,Z_0003_5007___STAR_)
      & has_arg1(R_0003_0002__IS_R_0003_0003__EXPECTED,R_0003_0005__BE)
      & r_0003_0005__be(R_0003_0005__BE)
      & has_prd(R_0003_0005__BE,R_0003_0006__AN_R_0003_0008__PRODUCTION)
      & r_0003_0006__an_r_0003_0008__production(R_0003_0006__AN_R_0003_0008__PRODUCTION)
      & has_attrib(R_0003_0006__AN_R_0003_0008__PRODUCTION,R_0003_0007__EXCELLENT)
      & has_arg0(R_0003_0005__BE,R_0003_0001__IT)
      & r_0003_0029__visited(R_0003_0029__VISITED)
      & has_r_0003_0035__for__nim(R_0003_0029__VISITED,R_0003_0036__COACHING_R_0003_0037__SESSIONS)
      & has_nim(R_0003_0029__VISITED,R_0003_0032__EARLIER)
      & r_0003_0032__earlier(R_0003_0032__EARLIER)
      & has_nim(R_0003_0032__EARLIER,R_0003_0033__THIS_R_0003_0034__YEAR)
      & has_arg1(R_0003_0029__VISITED,R_0003_0030__THE_R_0003_0031__SCHOOL)
      & has_arg0(R_0003_0029__VISITED,R_0003_0027__FOOTBALLERS) ) ).