Just finished a rather lengthy video on rule instantiation - hope you like it nonetheless!

yt