Signal-to-Symbol Transformation: Reasoning in the HASP/SIAP Program