Implemention of export function. The mechanism seems to work, now it's a matter of adding all the desired triples