If there were phases to learning term expansion I think it would have
phase n. I am little confused.
phase n+m. I am totally confused, but happier/more saddened. I can’t even tell which one.
While this is not a magical answer, it is better than nothing.
Simple term_expansion debugging
While I have not had time to make effective use of this as I only found it a few weeks ago, it does have more examples of using term expansion.
Barry’s Prolog
Reference Manual & User Guide
Search for expand_term