Turning PLN logical rules into facts