Text this: A formal approach to building incremental and hierarchical information and logical models