readme includes rough descriptions of predicates