All tagged Predicate Logic Variables