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.

arc(r_0003_0002__is, r_0003_0003__expected, scope).
arc(r_0003_0003__expected, r_0003_0004__to_r_0003_0005__be, arg1).
arc(r_0003_0003__expected, z_000_3_a_pantomime_10, arg0).
arc(r_0003_0004__to_r_0003_0005__be, r_0003_0001__It, arg0).
arc(r_0003_0004__to_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, attrib22).
arc(r_0003_0011__features, r_0003_0010__it, arg0).
arc(r_0003_0011__features, r_0003_0025__and, arg1).
arc(r_0003_0013__one_r_0003_0017__television_r_0003_0018__presenter, r_0003_0012__at_least, qual39).
arc(r_0003_0013__one_r_0003_0017__television_r_0003_0018__presenter, r_0003_0014__well__hyphen__known, attrib44).
arc(r_0003_0013__one_r_0003_0017__television_r_0003_0018__presenter, r_0003_0015__children_r_0003_0016___apos_s, gen).
arc(r_0003_0020__two_r_0003_0022__soap_r_0003_0023__stars, r_0003_0021__Australian, attrib62).
arc(r_0003_0025__and, r_0003_0013__one_r_0003_0017__television_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, attrib75).
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, nim91).
arc(r_0003_0029__visited, r_0003_0036__coaching_r_0003_0037__sessions, r_0003_0035__for_nim102).
arc(r_0003_0032__earlier, r_0003_0033__this_r_0003_0034__year, nim94).
arc(z_000_3_a_pantomime_2, r_0003_0002__is, conj1).
arc(z_000_3_a_pantomime_2, 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_0004__TO_R_0003_0005__BE,Z_000_3_A_PANTOMIME_10,R_0003_0002__IS_R_0003_0003__EXPECTED,R_0003_0010__IT,R_0003_0012__AT_LEAST,R_0003_0014__WELL__HYPHEN__KNOWN,R_0003_0015__CHILDREN_R_0003_0016___APOS_S,R_0003_0013__ONE_R_0003_0017__TELEVISION_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_000_3_A_PANTOMIME_2] :
      ( r_0003_0001__It(R_0003_0001__IT)
      & r_0003_0007__excellent(R_0003_0007__EXCELLENT)
      & r_0003_0010__it(R_0003_0010__IT)
      & 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_0016___apos_s(R_0003_0015__CHILDREN_R_0003_0016___APOS_S)
      & 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_000_3_a_pantomime_10(Z_000_3_A_PANTOMIME_10)
      & z_000_3_a_pantomime_2(Z_000_3_A_PANTOMIME_2)
      & has_conj2(Z_000_3_A_PANTOMIME_2,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_attrib75(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_attrib62(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_0017__TELEVISION_R_0003_0018__PRESENTER)
      & r_0003_0013__one_r_0003_0017__television_r_0003_0018__presenter(R_0003_0013__ONE_R_0003_0017__TELEVISION_R_0003_0018__PRESENTER)
      & has_gen(R_0003_0013__ONE_R_0003_0017__TELEVISION_R_0003_0018__PRESENTER,R_0003_0015__CHILDREN_R_0003_0016___APOS_S)
      & has_attrib44(R_0003_0013__ONE_R_0003_0017__TELEVISION_R_0003_0018__PRESENTER,R_0003_0014__WELL__HYPHEN__KNOWN)
      & has_qual39(R_0003_0013__ONE_R_0003_0017__TELEVISION_R_0003_0018__PRESENTER,R_0003_0012__AT_LEAST)
      & has_arg0(R_0003_0011__FEATURES,R_0003_0010__IT)
      & has_conj1(Z_000_3_A_PANTOMIME_2,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_000_3_A_PANTOMIME_10)
      & has_arg1(R_0003_0002__IS_R_0003_0003__EXPECTED,R_0003_0004__TO_R_0003_0005__BE)
      & r_0003_0004__to_r_0003_0005__be(R_0003_0004__TO_R_0003_0005__BE)
      & has_prd(R_0003_0004__TO_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_attrib22(R_0003_0006__AN_R_0003_0008__PRODUCTION,R_0003_0007__EXCELLENT)
      & has_arg0(R_0003_0004__TO_R_0003_0005__BE,R_0003_0001__IT)
      & r_0003_0029__visited(R_0003_0029__VISITED)
      & has_r_0003_0035__for_nim102(R_0003_0029__VISITED,R_0003_0036__COACHING_R_0003_0037__SESSIONS)
      & has_nim91(R_0003_0029__VISITED,R_0003_0032__EARLIER)
      & r_0003_0032__earlier(R_0003_0032__EARLIER)
      & has_nim94(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) ) ).

( (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}))
                                                 (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))