Analysis of Formal Concepts for Verification of Pests and Diseases of Crops Using Machine Learning Methods | Synapse