Decoding the grammar of design theory for large language models: the case of axiomatic design theory | Synapse