added deduce function for AUG