ELPS - epistemic logic programs with sorts