El documento describe tres conceptos clave: 1) la funcionalización, que es reconocer una relación de segundo orden entre dos relaciones de primer orden; 2) la aplicación, que es utilizar una relación previamente inferida para completar el significado de una nueva relación; y 3) la justificación, que es establecer las razones por las cuales se seleccionó la solución más apropiada entre varias alternativas válidas para resolver un problema. También presenta estrategias para analizar y completar relaciones de segundo orden.