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).

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) ) ) ).

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