Contextual Understanding of Natural Language Specification Descriptions Based on Logical Semantics 資金種別 競争的資金