Definition of Satisfied Term