An interactive environment for the modeling and discovery of scientific knowledge