Un sistema binario de constructos semánticos