subinferred

not defined yet