fix of "equalSubTermsInRespectOfSubjectPredicate", and also applying it in temporal induction chain