Recent work in our teams focused on a methodology, called Phi - calculus, the aim of which is to study the process of interaction between a human - or a group - and a machine when the former is interested on using certain capabilities of the latter in order to improve the task of explicitating knowledge in a coherent and unambiguous fashion. Our more recent work consisted on examining how Phi-calculus might be instantiated in the context of Human Education. The result is a Web-served Learning Environment, called PhiInEd, to assist both the planning and the execution phases of a course. PhiInEd has been used by a class of D.E.A.¹ on Business Contracts.