#7: extracted propTense from entailments so it can be used in isSatisfiedProp as well