added test file for learning new 'defined-ness' logical-OR