Old Structuration Resources for core SEAL