joint prob for NonTermContext