Quantifying means-end reasoning skills in simulation-based training: a logic-based approach