All tagged Simple Statements in Predicate Logic