symbolic_logic_no1_exmpl