Symbolic Form Logic - Search