Context                Previous, Next                Top


234_a_wilde_1_1888
“We must really issue a proclamation that birds are not to be allowed to die here.”

%3 r_0234_0003__must must r_0234_0005__issue issue r_0234_0003__must->r_0234_0005__issue [scope] r_0234_0002__We We r_0234_0005__issue->r_0234_0002__We [arg0] r_0234_0004__really really r_0234_0005__issue->r_0234_0004__really [nim] r_0234_0006__a_r_0234_0007__proclamation a proclamation r_0234_0005__issue->r_0234_0006__a_r_0234_0007__proclamation [arg1] r_0234_0011__not not r_0234_0006__a_r_0234_0007__proclamation->r_0234_0011__not [emb] r_0234_0008__that_r_0234_0010__are that are r_0234_0011__not->r_0234_0008__that_r_0234_0010__are [keep_scope] r_0234_0012__to_r_0234_0013__be to be r_0234_0008__that_r_0234_0010__are->r_0234_0012__to_r_0234_0013__be [scope] r_0234_0014__allowed allowed r_0234_0012__to_r_0234_0013__be->r_0234_0014__allowed [scope] r_0234_0015__to_r_0234_0016__die to die r_0234_0014__allowed->r_0234_0015__to_r_0234_0016__die [arg1] z_000_234_a_wilde_1_1888_37 r_0234_0014__allowed->z_000_234_a_wilde_1_1888_37 [arg0] r_0234_0009__birds birds r_0234_0015__to_r_0234_0016__die->r_0234_0009__birds [arg0] r_0234_0017__here here r_0234_0015__to_r_0234_0016__die->r_0234_0017__here [nim] 
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_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).


%3 r_0234_0003__must_r_0234_0005__issue must issue r_0234_0002__We We r_0234_0003__must_r_0234_0005__issue->r_0234_0002__We [arg0] r_0234_0004__really really r_0234_0003__must_r_0234_0005__issue->r_0234_0004__really [nim] r_0234_0006__a_r_0234_0007__proclamation a proclamation r_0234_0003__must_r_0234_0005__issue->r_0234_0006__a_r_0234_0007__proclamation [arg1] r_0234_0011__not not r_0234_0006__a_r_0234_0007__proclamation->r_0234_0011__not [emb] r_0234_0008__that_r_0234_0010__are_r_0234_0012__to_r_0234_0013__be_r_0234_0014__allowed that are to be allowed r_0234_0011__not->r_0234_0008__that_r_0234_0010__are_r_0234_0012__to_r_0234_0013__be_r_0234_0014__allowed [keep_scope] r_0234_0015__to_r_0234_0016__die to die 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 [arg1] 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->z_000_234_a_wilde_1_1888_37 [arg0] r_0234_0009__birds birds r_0234_0015__to_r_0234_0016__die->r_0234_0009__birds [arg0] r_0234_0017__here here r_0234_0015__to_r_0234_0016__die->r_0234_0017__here [nim] 
fof(formula,axiom,
    ? [R_234_3_MUST_ISSUE,R_234_2_WE,R_234_6_A_PROCLAMATION,R_234_4_REALLY] :
      ( we(R_234_2_WE)
      & really(R_234_4_REALLY)
      & must_issue(R_234_3_MUST_ISSUE,R_234_2_WE,R_234_6_A_PROCLAMATION)
      & a_proclamation(R_234_6_A_PROCLAMATION)
      & emb21(R_234_6_A_PROCLAMATION,R_234_11_NOT)
      & ~ ? [R_234_8_THAT_ARE_TO_BE_ALLOWED,Z_234_A_WILDE_1_1888_37,R_234_15_TO_DIE,R_234_9_BIRDS,R_234_17_HERE] :
            ( birds(R_234_9_BIRDS)
            & here(R_234_17_HERE)
            & that_are_to_be_allowed(R_234_8_THAT_ARE_TO_BE_ALLOWED,Z_234_A_WILDE_1_1888_37,R_234_15_TO_DIE)
            & to_die(R_234_15_TO_DIE,R_234_9_BIRDS)
            & nim46(R_234_15_TO_DIE,R_234_17_HERE) )
      & nim10(R_234_3_MUST_ISSUE,R_234_4_REALLY) ) ).


n234_a_wilde_1_1888 n234_a_wilde_1_1888_3 <ldquo> n234_a_wilde_1_1888_6 We n234_a_wilde_1_1888_8 must n234_a_wilde_1_1888_12 really n234_a_wilde_1_1888_14 issue n234_a_wilde_1_1888_17 a n234_a_wilde_1_1888_19 proclamation n234_a_wilde_1_1888_23 that n234_a_wilde_1_1888_26 birds n234_a_wilde_1_1888_28 are n234_a_wilde_1_1888_30 not n234_a_wilde_1_1888_33 to n234_a_wilde_1_1888_35 be n234_a_wilde_1_1888_38 * n234_a_wilde_1_1888_40 allowed n234_a_wilde_1_1888_43 to n234_a_wilde_1_1888_45 die n234_a_wilde_1_1888_48 here n234_a_wilde_1_1888_50 . n234_a_wilde_1_1888_52 <rdquo> n234_a_wilde_1_1888_1 IP-MAT n234_a_wilde_1_1888_2 PULQ n234_a_wilde_1_1888_1->n234_a_wilde_1_1888_2 n234_a_wilde_1_1888_4 NP-SBJ n234_a_wilde_1_1888_1->n234_a_wilde_1_1888_4 n234_a_wilde_1_1888_7 MD;_cat_Vi_ n234_a_wilde_1_1888_1->n234_a_wilde_1_1888_7 n234_a_wilde_1_1888_9 IP-INF-CAT n234_a_wilde_1_1888_1->n234_a_wilde_1_1888_9 n234_a_wilde_1_1888_49 PUNC n234_a_wilde_1_1888_1->n234_a_wilde_1_1888_49 n234_a_wilde_1_1888_51 PURQ n234_a_wilde_1_1888_1->n234_a_wilde_1_1888_51 n234_a_wilde_1_1888_2->n234_a_wilde_1_1888_3 n234_a_wilde_1_1888_5 PRO n234_a_wilde_1_1888_4->n234_a_wilde_1_1888_5 n234_a_wilde_1_1888_5->n234_a_wilde_1_1888_6 n234_a_wilde_1_1888_7->n234_a_wilde_1_1888_8 n234_a_wilde_1_1888_10 ADVP-NIM n234_a_wilde_1_1888_9->n234_a_wilde_1_1888_10 n234_a_wilde_1_1888_13 VB;__ n234_a_wilde_1_1888_9->n234_a_wilde_1_1888_13 n234_a_wilde_1_1888_15 NP-OB1 n234_a_wilde_1_1888_9->n234_a_wilde_1_1888_15 n234_a_wilde_1_1888_11 ADV n234_a_wilde_1_1888_10->n234_a_wilde_1_1888_11 n234_a_wilde_1_1888_11->n234_a_wilde_1_1888_12 n234_a_wilde_1_1888_13->n234_a_wilde_1_1888_14 n234_a_wilde_1_1888_16 D n234_a_wilde_1_1888_15->n234_a_wilde_1_1888_16 n234_a_wilde_1_1888_18 N n234_a_wilde_1_1888_15->n234_a_wilde_1_1888_18 n234_a_wilde_1_1888_20 CP-THT n234_a_wilde_1_1888_15->n234_a_wilde_1_1888_20 n234_a_wilde_1_1888_16->n234_a_wilde_1_1888_17 n234_a_wilde_1_1888_18->n234_a_wilde_1_1888_19 n234_a_wilde_1_1888_21 IP-SUB n234_a_wilde_1_1888_20->n234_a_wilde_1_1888_21 n234_a_wilde_1_1888_22 C n234_a_wilde_1_1888_21->n234_a_wilde_1_1888_22 n234_a_wilde_1_1888_24 NP-SBJ n234_a_wilde_1_1888_21->n234_a_wilde_1_1888_24 n234_a_wilde_1_1888_27 BEP;_cat_Vt_ n234_a_wilde_1_1888_21->n234_a_wilde_1_1888_27 n234_a_wilde_1_1888_29 NEG n234_a_wilde_1_1888_21->n234_a_wilde_1_1888_29 n234_a_wilde_1_1888_31 IP-INF-CAT n234_a_wilde_1_1888_21->n234_a_wilde_1_1888_31 n234_a_wilde_1_1888_22->n234_a_wilde_1_1888_23 n234_a_wilde_1_1888_25 NS n234_a_wilde_1_1888_24->n234_a_wilde_1_1888_25 n234_a_wilde_1_1888_25->n234_a_wilde_1_1888_26 n234_a_wilde_1_1888_27->n234_a_wilde_1_1888_28 n234_a_wilde_1_1888_29->n234_a_wilde_1_1888_30 n234_a_wilde_1_1888_32 TO n234_a_wilde_1_1888_31->n234_a_wilde_1_1888_32 n234_a_wilde_1_1888_34 BE;_cat_VePASS_ n234_a_wilde_1_1888_31->n234_a_wilde_1_1888_34 n234_a_wilde_1_1888_36 IP-PPL-CAT n234_a_wilde_1_1888_31->n234_a_wilde_1_1888_36 n234_a_wilde_1_1888_32->n234_a_wilde_1_1888_33 n234_a_wilde_1_1888_34->n234_a_wilde_1_1888_35 n234_a_wilde_1_1888_37 NP-LGS n234_a_wilde_1_1888_36->n234_a_wilde_1_1888_37 n234_a_wilde_1_1888_39 VVN;_Tnt_ n234_a_wilde_1_1888_36->n234_a_wilde_1_1888_39 n234_a_wilde_1_1888_41 IP-INF-OB1 n234_a_wilde_1_1888_36->n234_a_wilde_1_1888_41 n234_a_wilde_1_1888_37->n234_a_wilde_1_1888_38 n234_a_wilde_1_1888_39->n234_a_wilde_1_1888_40 n234_a_wilde_1_1888_42 TO n234_a_wilde_1_1888_41->n234_a_wilde_1_1888_42 n234_a_wilde_1_1888_44 VB;_I_ n234_a_wilde_1_1888_41->n234_a_wilde_1_1888_44 n234_a_wilde_1_1888_46 ADVP-NIM n234_a_wilde_1_1888_41->n234_a_wilde_1_1888_46 n234_a_wilde_1_1888_42->n234_a_wilde_1_1888_43 n234_a_wilde_1_1888_44->n234_a_wilde_1_1888_45 n234_a_wilde_1_1888_47 ADV n234_a_wilde_1_1888_46->n234_a_wilde_1_1888_47 n234_a_wilde_1_1888_47->n234_a_wilde_1_1888_48 n234_a_wilde_1_1888_49->n234_a_wilde_1_1888_50 n234_a_wilde_1_1888_51->n234_a_wilde_1_1888_52 
( (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))