There is no present reason to believe that inferences easy in FOL are difficult in meaning represent...