# Named DAML lists
@prefix : <#>.

:a :p :list .
:b :p :list .

:list :- ("1" "2") .