declare N V L [A B C D] = L in
[N V A B C D] ::: 1#20


/*
{Show FD_PROP.add}

{FD_PROP.element N L V}

{FD_PROP.element _ _ _}

V >: 10
A <: 10
B <: 10
C <: 10
D <: 10
B >: 2
N=2

{Show [N L V]}

{Show FD_PROP}
*/
