Intuition behind predicates

[dionyziz]

The intuition paragraph must be augmented with some words to give intuition about what predicates are: An example such as transaction inclusion will help. It should be made clear that the predicates take one parameter, a single chain. These predicates do not extract cross-chain comparison results!