TSPC 5_a_major

5_a_major_case
No witness statements or affidavits have been filed to 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))

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__nim).
arc(r_0005_0008__filed,z_0005_5008___star_,arg0).

fof(formula,axiom,
    ! [R_0005_0004__OR,R_0005_0002__WITNESS_R_0005_0003__STATEMENTS,R_0005_0005__AFFIDAVITS] :
      ( ( r_0005_0002__witness_r_0005_0003__statements(R_0005_0002__WITNESS_R_0005_0003__STATEMENTS)
        & r_0005_0005__affidavits(R_0005_0005__AFFIDAVITS)
        & r_0005_0004__or(R_0005_0004__OR)
        & has_conj2(R_0005_0004__OR,R_0005_0005__AFFIDAVITS)
        & has_conj1(R_0005_0004__OR,R_0005_0002__WITNESS_R_0005_0003__STATEMENTS) )
     => ? [R_0005_0010__THAT_R_0005_0011__EFFECT,Z_0005_5008___STAR_,R_0005_0006__HAVE_R_0005_0007__BEEN_R_0005_0008__FILED] :
          ( r_0005_0010__that_r_0005_0011__effect(R_0005_0010__THAT_R_0005_0011__EFFECT)
          & z_0005_5008___star_(Z_0005_5008___STAR_)
          & r_0005_0006__have_r_0005_0007__been_r_0005_0008__filed(R_0005_0006__HAVE_R_0005_0007__BEEN_R_0005_0008__FILED)
          & has_arg0(R_0005_0006__HAVE_R_0005_0007__BEEN_R_0005_0008__FILED,Z_0005_5008___STAR_)
          & has_r_0005_0009__to__nim(R_0005_0006__HAVE_R_0005_0007__BEEN_R_0005_0008__FILED,R_0005_0010__THAT_R_0005_0011__EFFECT)
          & has_arg1(R_0005_0006__HAVE_R_0005_0007__BEEN_R_0005_0008__FILED,R_0005_0004__OR) ) ) ).