symbol:logic:language