条件(14節)を1つの文として書き表す。識別子はそのまま出す——読み手が定義と引き比べられることが、 条件を見せる理由そのもの(issue #961)。
否定は葉まで押し下げる(ド・モルガンの法則)。not: {slot: catch, matches: {tag: quarry}} を 「〜ではない」と包むより、「catch枠にquarryが無い」と書くほうが条件の形と一致する。
not: {slot: catch, matches: {tag: quarry}}
条件(14節)を1つの文として書き表す。識別子はそのまま出す——読み手が定義と引き比べられることが、 条件を見せる理由そのもの(issue #961)。
否定は葉まで押し下げる(ド・モルガンの法則)。
not: {slot: catch, matches: {tag: quarry}}を 「〜ではない」と包むより、「catch枠にquarryが無い」と書くほうが条件の形と一致する。