Re: [Wiki-research-l] URL-addressable Predicate Calculus