subinferring

not defined yet