Required Expression (formally Predicate Rule) Documentation