そもそも <X: P> に対して (any) X==Pを発見するケースってあるんかな (edited)

1:56 PM

既に構成されてる P から推論するケースじゃなくて

1:56 PM

直接のPは書かれてないケース

1:57 PM

直感的には推論がちょっと重くなりそうな気がする、ErrorのSelf-conformのスレでも気にしていた人がいたな