la:logical_semantics