Status: DEV sm.contract Map Source Logic from the local Context to the Semantic Web. The opposite of sm.expand.