The current version of pack scasp does not contain a file examples/benchmark_EventCalculus/lopstr19/event-calculus/scripts/go_bec_tap_03_two_models
scasp
examples/benchmark_EventCalculus/lopstr19/event-calculus/scripts/go_bec_tap_03_two_models