All tagged Free Variables in Predicate Logic