Extracting declarative constraints for process modeling from natural language descriptions with large language models | Synapse