Changed file name, added contextual inference example

Split into two pull requests: https://github.com/opencog/opencog/pull/765
Alright, so this line would still need a distinct concept to be defined, then.