Conditional Symbol Logic - Search