Context                Previous, Next                Top


5_a_major_case
No witness statements or affidavits have been filed to that effect.

%3 r_0005_0001__No_quant No [quant] r_0005_0004__or or r_0005_0001__No_quant->r_0005_0004__or [restriction] r_0005_0006__have have r_0005_0001__No_quant->r_0005_0006__have [scope] r_0005_0002__witness_r_0005_0003__statements witness statements r_0005_0004__or->r_0005_0002__witness_r_0005_0003__statements [conj1] r_0005_0005__affidavits affidavits r_0005_0004__or->r_0005_0005__affidavits [conj2] r_0005_0007__been been r_0005_0006__have->r_0005_0007__been [scope] r_0005_0008__filed filed r_0005_0007__been->r_0005_0008__filed [scope] r_0005_0008__filed->r_0005_0004__or [arg1] r_0005_0010__that_r_0005_0011__effect that effect r_0005_0008__filed->r_0005_0010__that_r_0005_0011__effect to [nim] z_000_5_a_major_case_23 r_0005_0008__filed->z_000_5_a_major_case_23 [arg0] 
arc(r_0005_0001__No_quant, r_0005_0004__or, restriction).
arc(r_0005_0001__No_quant, r_0005_0006__have, scope).
arc(r_0005_0004__or, r_0005_0002__witness_r_0005_0003__statements, conj1).
arc(r_0005_0004__or, r_0005_0005__affidavits, conj2).
arc(r_0005_0006__have, r_0005_0007__been, scope).
arc(r_0005_0007__been, r_0005_0008__filed, scope).
arc(r_0005_0008__filed, r_0005_0004__or, arg1).
arc(r_0005_0008__filed, r_0005_0010__that_r_0005_0011__effect, r_0005_0009__to_nim30).
arc(r_0005_0008__filed, z_000_5_a_major_case_23, arg0).


%3 r_0005_0001__No_quant No [quant] r_0005_0004__or or r_0005_0001__No_quant->r_0005_0004__or [restriction] r_0005_0006__have_r_0005_0007__been_r_0005_0008__filed have been filed r_0005_0001__No_quant->r_0005_0006__have_r_0005_0007__been_r_0005_0008__filed [scope] r_0005_0002__witness_r_0005_0003__statements witness statements r_0005_0004__or->r_0005_0002__witness_r_0005_0003__statements [conj1] r_0005_0005__affidavits affidavits r_0005_0004__or->r_0005_0005__affidavits [conj2] r_0005_0006__have_r_0005_0007__been_r_0005_0008__filed->r_0005_0004__or [arg1] r_0005_0010__that_r_0005_0011__effect that effect r_0005_0006__have_r_0005_0007__been_r_0005_0008__filed->r_0005_0010__that_r_0005_0011__effect to [nim] z_000_5_a_major_case_23 r_0005_0006__have_r_0005_0007__been_r_0005_0008__filed->z_000_5_a_major_case_23 [arg0] 
fof(formula,axiom,
    ! [R_5_4_OR,R_5_2_WITNESS_STATEMENTS,R_5_5_AFFIDAVITS] :
      ( ( witness_statements(R_5_2_WITNESS_STATEMENTS)
        & affidavits(R_5_5_AFFIDAVITS)
        & or(R_5_4_OR)
        & conj1(R_5_4_OR,R_5_2_WITNESS_STATEMENTS)
        & conj2(R_5_4_OR,R_5_5_AFFIDAVITS) )
     => ? [R_5_6_HAVE_BEEN_FILED,Z_5_A_MAJOR_CASE_23,R_5_10_THAT_EFFECT] :
          ( that_effect(R_5_10_THAT_EFFECT)
          & have_been_filed(R_5_6_HAVE_BEEN_FILED,Z_5_A_MAJOR_CASE_23,R_5_4_OR)
          & to_nim30(R_5_6_HAVE_BEEN_FILED,R_5_10_THAT_EFFECT) ) ) ).


n5_a_major_case n5_a_major_case_4 No n5_a_major_case_8 witness n5_a_major_case_10 statements n5_a_major_case_13 or n5_a_major_case_16 affidavits n5_a_major_case_18 have n5_a_major_case_21 been n5_a_major_case_24 * n5_a_major_case_26 filed n5_a_major_case_29 to n5_a_major_case_32 that n5_a_major_case_34 effect n5_a_major_case_36 . n5_a_major_case_1 IP-MAT n5_a_major_case_2 NP-SBJ n5_a_major_case_1->n5_a_major_case_2 n5_a_major_case_17 HVP;_cat_Ve_ n5_a_major_case_1->n5_a_major_case_17 n5_a_major_case_19 IP-PPL-CAT n5_a_major_case_1->n5_a_major_case_19 n5_a_major_case_35 PUNC n5_a_major_case_1->n5_a_major_case_35 n5_a_major_case_3 Q n5_a_major_case_2->n5_a_major_case_3 n5_a_major_case_5 NLYR n5_a_major_case_2->n5_a_major_case_5 n5_a_major_case_3->n5_a_major_case_4 n5_a_major_case_6 NLYR n5_a_major_case_5->n5_a_major_case_6 n5_a_major_case_11 CONJP n5_a_major_case_5->n5_a_major_case_11 n5_a_major_case_7 N n5_a_major_case_6->n5_a_major_case_7 n5_a_major_case_9 NS n5_a_major_case_6->n5_a_major_case_9 n5_a_major_case_7->n5_a_major_case_8 n5_a_major_case_9->n5_a_major_case_10 n5_a_major_case_12 CONJ n5_a_major_case_11->n5_a_major_case_12 n5_a_major_case_14 NLYR n5_a_major_case_11->n5_a_major_case_14 n5_a_major_case_12->n5_a_major_case_13 n5_a_major_case_15 NS n5_a_major_case_14->n5_a_major_case_15 n5_a_major_case_15->n5_a_major_case_16 n5_a_major_case_17->n5_a_major_case_18 n5_a_major_case_20 BEN;_cat_VePASS_ n5_a_major_case_19->n5_a_major_case_20 n5_a_major_case_22 IP-PPL-CAT n5_a_major_case_19->n5_a_major_case_22 n5_a_major_case_20->n5_a_major_case_21 n5_a_major_case_23 NP-LGS n5_a_major_case_22->n5_a_major_case_23 n5_a_major_case_25 VVN;_Tn_ n5_a_major_case_22->n5_a_major_case_25 n5_a_major_case_27 PP-NIM n5_a_major_case_22->n5_a_major_case_27 n5_a_major_case_23->n5_a_major_case_24 n5_a_major_case_25->n5_a_major_case_26 n5_a_major_case_28 P-ROLE n5_a_major_case_27->n5_a_major_case_28 n5_a_major_case_30 NP n5_a_major_case_27->n5_a_major_case_30 n5_a_major_case_28->n5_a_major_case_29 n5_a_major_case_31 D n5_a_major_case_30->n5_a_major_case_31 n5_a_major_case_33 N n5_a_major_case_30->n5_a_major_case_33 n5_a_major_case_31->n5_a_major_case_32 n5_a_major_case_33->n5_a_major_case_34 n5_a_major_case_35->n5_a_major_case_36 
( (IP-MAT (NP-SBJ (Q No;{no})
                  (NLYR (NLYR (N witness;{witness})
                              (NS statements;{statement}))
                        (CONJP (CONJ or;{or})
                               (NLYR (NS affidavits;{affidavit})))))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ filed;{file})
                                  (PP-NIM (P-ROLE to;{to})
                                          (NP (D that;{that})
                                              (N effect;{effect})))))
          (PUNC .))
  (ID 5_a_major_case))