Prelog - 2 properties found.