Type 1 : implication (est-ce que A est B ?)

Type 1 bis : limitation (ne ... que)

Type 2 : définition (qu'est-ce que A ?)

Type 3 : possibilité (peut-on A ?)

Type 4 : nécessité (faut-il A ?)