& を使ってるってことは線型論理?
それとも普通の述語論理?