a :- [k:p].
a :- _{k:p}.