| CAE | IAE | SAE | DAE | QAE | QAE* | |
|---|---|---|---|---|---|---|
| x ∈ {Socrates} | X | ✓ | X | X | ✓ | ✓ |
| x ≠ Eiffel Tower | X | ✓ | ✓ | X | ✓ | ✓ |
| (λx.2 + 2 = 4) | ✓ | X | ✓ | ✓ | ✓ | ✓ |
| ∃yy = x | X | X | X | ✓ | ✓ | ✓ |
| (λx.x = Socrates) | X | — | X | ✓ | ✓ | ✓ |
| x is a house | ✓ | X | X | ✓ | ✓ | ✓ |
| x = x | — | — | X | ✓ | ✓ | ✓ |
| Membership essentialism | ✓ | X | X | ✓ | X | ✓ |
| Origin essentialism | ✓ | X | — | ✓ | X | ✓ |
