->
let item = DisambiguateTypes.Id id in
begin try
- let uri =
- match DisambiguateTypes.Environment.find item status.aliases with
- L.Ident_alias (_, uri)-> UriManager.uri_of_string uri
- | _ -> assert false
- in
- CicNotationPt.UriPattern uri
+ match DisambiguateTypes.Environment.find item status.aliases with
+ L.Ident_alias (_, uri) ->
+ (try
+ CicNotationPt.NRefPattern
+ (NReference.reference_of_string uri)
+ with
+ NReference.IllFormedReference _ ->
+ CicNotationPt.UriPattern (UriManager.uri_of_string uri))
+ | _ -> assert false
with Not_found ->
prerr_endline ("LexiconEngine.eval_command: domain item not found: " ^
(DisambiguateTypes.string_of_domain_item item));