A common mistake to avoid
n Typically, is the main connective with
n Common mistake: using as the main
connective with :
x At(x,NUS) Smart(x)
means “Everyone is at NUS and everyone is
smart”