Introduction of specification based queries