Add graph embeddings for conjecture/+axioms

[EdvardHolden]

Still need to add the unsupervised embeddings