The current version of pack scasp does not contain a file examples/benchmark_EventCalculus/lopstr19/aux-sasp/bec_theory_discrete.pl
scasp
examples/benchmark_EventCalculus/lopstr19/aux-sasp/bec_theory_discrete.pl