The current version of pack assertions does not contain a file prolog/assertions/examples/assrt_example.pl
assertions
prolog/assertions/examples/assrt_example.pl