SMS: Extended axiomatic linguistics