@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.
Follow
@jeffcliff what possible productions could you make from this statement?
