Negated predicate model
Rename combined predicates to conjunction predicates

This is in preparation for adding a disjunction predicate
as both types would technically be "combined", this
naming makes more sense.
Parsing rules for OR predicates
Transformer rules for disjunction predicates.
Disjunction Predicate model
Update readme for logical connectives.