Figure 3: The data flow in a SAL program. SAL programs apply a set of uniform operators, instantiated with different knowledge at different levels of abstraction, to connect low-level input to high-level description.