Text this: A formal, scalable approach to semantic interoperability