velopment of predicates and concepts required to map game-world observations and actions into Atoms in a manner amenable to tractable PLN inference c. Experimentation with PLN inference on Atoms representing procedures learned by MOSES d. Tuning of ECAN-based guidance of PLN inference e. Tuning of MOSES for lear