# Named DAML lists
@prefix : <#>.

:a :p _:a .
:b :p _:a .

_:a :- ("1" "2") .