Worlds are relational interpretations:
nObjects in the domain
nProperties of these objects
nRelations (links) between objects
Relational languages allow universals:
nGeneral patterns that apply to all objects
"x,y(Smart(x) & Easy(y) & Take(x,y)
à
Grade(A,x,y))
Rules of chess (one move) » 100 axioms