/cpp/sdo/VSExpress/tuscany_sdo/sdo_axiom_test/