Re-support base rules by instantiating the general rules for ONLY known ontology statements and add some other bugfixes to make rules work as a result