What are the components of first order logic?