234_a_wilde_1_1888
“We must really issue a proclamation that birds are not to be allowed to die here.”
arc(r_0234_0003__must, r_0234_0005__issue, scope).
arc(r_0234_0005__issue, r_0234_0002__We, arg0).
arc(r_0234_0005__issue, r_0234_0004__really, nim10).
arc(r_0234_0005__issue, r_0234_0006__a_r_0234_0007__proclamation, arg1).
arc(r_0234_0006__a_r_0234_0007__proclamation, r_0234_0008__that_r_0234_0010__are, emb21).
arc(r_0234_0006__a_r_0234_0007__proclamation, r_0234_0011__not, emb21).
arc(r_0234_0008__that_r_0234_0010__are, r_0234_0012__to_r_0234_0013__be, scope).
arc(r_0234_0011__not, r_0234_0008__that_r_0234_0010__are, keep_scope).
arc(r_0234_0012__to_r_0234_0013__be, r_0234_0014__allowed, scope).
arc(r_0234_0014__allowed, r_0234_0015__to_r_0234_0016__die, arg1).
arc(r_0234_0014__allowed, z_000_234_a_wilde_1_1888_37, arg0).
arc(r_0234_0015__to_r_0234_0016__die, r_0234_0009__birds, arg0).
arc(r_0234_0015__to_r_0234_0016__die, r_0234_0017__here, nim46).
fof(formula,axiom,
? [R_0234_0002__WE,R_0234_0004__REALLY,R_0234_0009__BIRDS,R_0234_0017__HERE,R_0234_0015__TO_R_0234_0016__DIE,Z_000_234_A_WILDE_1_1888_37,R_0234_0008__THAT_R_0234_0010__ARE_R_0234_0012__TO_R_0234_0013__BE_R_0234_0014__ALLOWED,R_0234_0006__A_R_0234_0007__PROCLAMATION,R_0234_0003__MUST_R_0234_0005__ISSUE] :
( r_0234_0002__We(R_0234_0002__WE)
& r_0234_0004__really(R_0234_0004__REALLY)
& r_0234_0009__birds(R_0234_0009__BIRDS)
& r_0234_0017__here(R_0234_0017__HERE)
& z_000_234_a_wilde_1_1888_37(Z_000_234_A_WILDE_1_1888_37)
& r_0234_0003__must_r_0234_0005__issue(R_0234_0003__MUST_R_0234_0005__ISSUE)
& has_arg1(R_0234_0003__MUST_R_0234_0005__ISSUE,R_0234_0006__A_R_0234_0007__PROCLAMATION)
& r_0234_0006__a_r_0234_0007__proclamation(R_0234_0006__A_R_0234_0007__PROCLAMATION)
& has_emb21(R_0234_0006__A_R_0234_0007__PROCLAMATION,R_0234_0011__NOT)
& ~ r_0234_0008__that_r_0234_0010__are_r_0234_0012__to_r_0234_0013__be_r_0234_0014__allowed(R_0234_0008__THAT_R_0234_0010__ARE_R_0234_0012__TO_R_0234_0013__BE_R_0234_0014__ALLOWED)
& has_emb21(R_0234_0006__A_R_0234_0007__PROCLAMATION,R_0234_0008__THAT_R_0234_0010__ARE_R_0234_0012__TO_R_0234_0013__BE_R_0234_0014__ALLOWED)
& r_0234_0008__that_r_0234_0010__are_r_0234_0012__to_r_0234_0013__be_r_0234_0014__allowed(R_0234_0008__THAT_R_0234_0010__ARE_R_0234_0012__TO_R_0234_0013__BE_R_0234_0014__ALLOWED)
& has_arg0(R_0234_0008__THAT_R_0234_0010__ARE_R_0234_0012__TO_R_0234_0013__BE_R_0234_0014__ALLOWED,Z_000_234_A_WILDE_1_1888_37)
& has_arg1(R_0234_0008__THAT_R_0234_0010__ARE_R_0234_0012__TO_R_0234_0013__BE_R_0234_0014__ALLOWED,R_0234_0015__TO_R_0234_0016__DIE)
& r_0234_0015__to_r_0234_0016__die(R_0234_0015__TO_R_0234_0016__DIE)
& has_nim46(R_0234_0015__TO_R_0234_0016__DIE,R_0234_0017__HERE)
& has_arg0(R_0234_0015__TO_R_0234_0016__DIE,R_0234_0009__BIRDS)
& has_nim10(R_0234_0003__MUST_R_0234_0005__ISSUE,R_0234_0004__REALLY)
& has_arg0(R_0234_0003__MUST_R_0234_0005__ISSUE,R_0234_0002__WE) ) ).
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{MAYOR_COUNCILLORS} (PRO We;{we}))
(MD;_cat_Vi_ must;{must})
(IP-INF-CAT (ADVP-NIM (ADV really;{really}))
(VB;__ issue;{issue})
(NP-OB1 (D a;{a})
(N proclamation;{proclamation})
(CP-THT (IP-SUB (C that;{that})
(NP-SBJ (NS birds;{bird}))
(BEP;_cat_Vt_ are;{be})
(NEG not;{not})
(IP-INF-CAT (TO to;{to})
(BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tnt_ allowed;{allow})
(IP-INF-OB1 (TO to;{to})
(VB;_I_ die;{die})
(ADVP-NIM (ADV here;{here})))))))))
(PUNC .)
(PURQ <rdquo>))
(ID 234_a_wilde_1_1888))