Constructing Symbolic Representations for High-Level Planning | Synapse