module BooleanTermParser