This paper describes STEPS, a strongly-typed evolutionary programming system designed to induce concepts from structured data. STEPS higher-order logic representation language enhances expressiveness, ...