Added in correct semantics for unknown values in boolean expressions
Created new files for the code for Selector values