Text this: Mathematical interpretation of inference rules /