The instantiations variable contains the number of references to facts in datasets performed so far. It is incremented automatically by the inference subroutines. To initialize, simply set to 0.