Fix for missing values and lists
Added new attribute to blank node
theorems are type rdfs:Class, hiearchy with subClassOf
Printing of basic info about theorems