A computational theory of evaluation for parameterisable subject. - Hedong Yan (CoRR, 2025)