Make table_ conformant to new semantic concept
Complete deduce_semantic behavior and tests