I have the following rules to convert a structure.
cmap(predicate(_,Verb,named(N)),[S1,S2]) :- next_uid(NewVar), S1 =.. [named,N,NewVar], S2 =.. [Verb,NewVar]. cm