The user and domain models of the TERENCE adaptive learning system by Alrifai, M, Gennari, R, Tifrea, O, Vittorini, P