SimpleContainmentSolver.java

package fr.inrialpes.tyrexmo.testqc.simple;

public interface SimpleContainmentSolver {
    public boolean entailed(String queryStr1, String queryStr2);
}