例句與造句

1. A temporal logic is normally built atop a simpler set of atomic small - unit propositions , such as traditional program assertions
   ）通常，時態邏輯構建于一組更簡單的原子（小單元）命題之上，如傳統程序斷言。
2. It's difficult to find program assertion in a sentence. 用program assertion造句挺難的