TR031: A Formal Approach to Automating Conceptual Structural Design