Proper parameterisation and looping over all sems