These rules specify that holds() can be removed if l=true follows from the store, and it can be rewritten as holds(L) if l=false follows from the store.
Ова правила прописују да () се може уклонити ако је l = истина следи из продавнице, и може се написати као има (L) ако је l лажно следи из продавнице.