1. For example, languages may stipulate that the amount of storage required by types and variables can be deduced.

예를 들면, 언어는 추론될 수 있는 타입과 변수들에 의해 요구되는 저장소의 양을 규정한다.

2. The girl’s parents customarily stipulate the number of tables as well as what some of the feast courses must include, such as mushrooms, chicken and abalone.

피로연에 대해서는 식탁이 몇 개 나오며, 버섯, 닭고기, 전복 등 무슨 음식을 차릴 것인가를 여자측 부모가 정하는 것이 상례이다.