Export and Import as xml

[joekrystowski]

No description provided.

[Jack-Rutland]

Three step system...

Import to EG
Export to EG
Export to Traditional Logic

The first two are straight forward, the last involves the conversion of a rule in existential graphs to be converted to traditional logic. For example, remove double cut would be replaced with double negation. For the example this is easy, for others it is more of a challenge.

The purpose of this is so that our file can be read in by the bramhub suite.