RIN×SEN+Ran→Sem