SAL: Semantics and Learning