下記のように記号を約束する

a : あるキャスフィ喧嘩板を見ている人
F(a): aが初見である
C(a): aに補正効果が生じる

このとき、
F(A) →　C(A)
だと主張した。

この主張に対して、
a、C(a)をどのように定めても、
天使は論破するといった。

これでいいか？