(mat:free+spr:sma) spr:smamat:free+spr:smalanguage:SMA_t