This module defines the base Predicate class.
The base Predicate class inherited by all other predicates.