Clearly, this is a formula which would not hold true for all possible instantiations.
we specify a soft formula of the form, An important aspect to note about the above soft formula is the "+" sign for variables in the formula.