Package jason.asSemantics