Document textual convention for doc strings of predicates.