Visualize: Figure1.
Description: "(c) Raw declarative rules; (d) raw declarative program."