3_a_pantomime
It is expected to be an excellent production.
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_8, 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, attrib20).
fof(formula,axiom,
? [R_3_2_IS_EXPECTED,Z_3_A_PANTOMIME_8,R_3_4_TO_BE,R_3_1_IT,R_3_6_AN_PRODUCTION,R_3_7_EXCELLENT] :
( it(R_3_1_IT)
& excellent(R_3_7_EXCELLENT)
& is_expected(R_3_2_IS_EXPECTED,Z_3_A_PANTOMIME_8,R_3_4_TO_BE)
& to_be(R_3_4_TO_BE,R_3_1_IT,R_3_6_AN_PRODUCTION)
& an_production(R_3_6_AN_PRODUCTION)
& attrib20(R_3_6_AN_PRODUCTION,R_3_7_EXCELLENT) ) ).
( (IP-MAT (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 .))
(ID 3_a_pantomime))