symbol:logic_expressions