Knows(John,x)