updated to new lean ontology