OCLにおいて、コレクション「s」が空であることを確認する記述「s->isEmpty()」と等価なものはどれか。

「QVT-Operational」において、変換のメインエントリポイントを定義する際に使用されるキーワードはどれか。