Encoding And Detecting Properties In Finitely Presented Groups