in
let uri,height,metasenv,subst,obj = status#obj in
let metasenv, subst, status, t =
GrafiteDisambiguate.disambiguate_nterm expty status context metasenv subst t
in
let new_pstatus = uri,height,metasenv,subst,obj in
in
let uri,height,metasenv,subst,obj = status#obj in
let metasenv, subst, status, t =
GrafiteDisambiguate.disambiguate_nterm expty status context metasenv subst t
in
let new_pstatus = uri,height,metasenv,subst,obj in