subinferring