エンタープライズの船員で星図作成の部署に属する人の名前を問い合わせる:{<B>|∃A,C(<A,B,C>inエンタープライズ∧∃D,E,F(<D,E,F>in部署∧F=C∧E="星図作成"))}この例では名前だけを問い合わせている。
找到在StellarCartography部门工作的Enterprise船员的名字:{<B>|∃A,C(<A,B,C>∈Enterprise∧∃D,E,F(<D,E,F>∈Departments∧F=C∧E="StellarCartography"))}在这个例子中，我们只查找名字，所以<B>指示列名。