Importing Lexbe Documents into Sanction