All tagged Predicate Logic