sentence1: type theory with records is an extension of standard type theory shown useful in semantics and dialogue modelling .
sentence2: type theory with records is an extension of standard type theory shown to be useful in semantics and dialogue modelling .