Fix that commit and add some simple sumo-related datafiles
Port the scheme files to the new test framework (to be written)
PLN examples have axioms, target, and a list of allowed rules