Required Expression (formally Predicate Rule) Documentation

I've search the Documentation but their doesn't appear to be a section describing the functionality of a Required Expression or Predicate Rule. Where is the functionality of this feature described?