English: So, first these things they belong to atomic formulas then if P belongs to P is a set of predicate symbols and t 1 t 2 t n belongs to a set of terms.
Telugu: మొదట ఈ విషయాలు అటామిక్ ఫార్ములాలకు చెందినవి, అప్పుడు P,P కి చెందినది అయితే ప్రిడికేట్ చిహ్నాల(predicate symbols) సమితి(set) మరియు t1 t2 tn నిబంధనల సమితికి చెందినది.