Add CNF variable to Sinta function