@jeffcliff I think this is just an ill formed statement in first order logic. That is, its just a meaningless sequence of symbols that kind of look like they belong to predicate logic.