Annotating Answer-Set Programs in LANA?