20/05/17 23:46:17 Mxja1g+r0.net
「全件数≠条件を満たす件数」でnot allになるなら、条件を満たすものと満たさないものの両方がある混在ケースと条件を満たすものが一つもない全滅ケースの両方が該当します。
「全てではない領有している星系基地が次の条件を満たす」だと全滅ケースが含まれないから、両方をまとめる構造にする必要がありますね。
「領有している星系基地に次の条件を満たしていないものが$IS_ALL_NOT$」（NOT_ALL_STRING:0 "ある"）というのはどうでしょうか？
少なくとも現時点では、$IS_ALL_NOT$を使う文章は皆同じ構造です。