semiotic_logic