サラーサ アーティファクト. Thematic roles and semantic roles pdf. Intrepid Southeast Asia. 下請法 孫請け禁止. 3-CNF formula.