phpテスト

{ Cls1 $T | $P1 } -> cls! ( $x , { exi $P1 . $x = $T } )