  A preliminary test of the software package RA is presented. The main focus of
this test is to assess RA`s reasoning capabilities that are based on the formal
system PECR. Particular attention is given to the finite computational
resources of the real-world machine that define the environment within which
programs are to be executed.
