Improve documentation of the term expansion mechanism and its predicates