Compute valuation for predicates that have just entered scope