【计】 formal premise
form; format; modality; shape【法】 form
precondition; premise; premiss; presupposition; reason【计】 prerequisite conditions