first order logic form