What kind of clause is wa-antum taʿlamūna as a whole?

Wāw with Nominal Circumstantial Clauses: Omission, Inclusion and Disputed Cases

• A single-word ḥāl
• An independent conditional clause
• A verbal ḥāl beginning with an imperfect
• A nominal ḥāl with a verbal predicate