Построена решетка формальных понятий свойств белков одного РНК вируса растения на базе данных биологов ЕНУ. Это решетка, на основании аналогий с решетками квазимногообразий, была достроена до полудистрибутивной вверх решетки, что позволило спрогнозировать существование белка с определенными свойствами.