new module for extracting clafer model from triples