Our work brings together explicit symbolic representations, linguistic theory, and software for working with them. The guiding question is what capable models can do better WITH Symbolic SI.