Rename Fact#property => Fact#predicate