History: methods of resolving mismatches between place structures and number of overt sumti

Source of version: 8 (current)