Zaslat SMS: Extensions to the logical inference model /