introduce boolean model with boolean ops and prefix search