Interface SemanticOracle