Text this: Extensions to the logical inference model /