Mental models

All X are Y

[X]Y
[X]Y

Some X are Y

XY
XY

No X are Y

[X] 
[X] 
 Y
 Y

Some X are not Y

X 
[X]Y

Category.Mind