I\'m trying to convert DRS to different structure. Here is unfinished work in progress (still simple DRS):
conds2lst(Conds,Lst) :- maplist( \\X^L^(Z-_ = X, Z =..