语义自然语言处理（NLP）应用通常依赖于依存树来识别句子命题结构的主要元素。然而，尽管许多语义结构确实由句法表达，但许多现象并不容易从依存树中读取，这常常导致进一步的临时启发式后处理或信息丢失。为直接满足语义应用的需求，我们提出了PropS——一种旨在明确且统一地表达由句法隐含的大部分命题结构的输出表示方法，以及一个从依存树中提取该结构的相关工具。