precisify Def data structure by adding more information