!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
  !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
定要可以判断真假
7
  pn Q  R
          7
          pN Q   R
            PVQ  R
      11  R
      ozone

      sinners
!
  nine       none



注  i
i
真
  则
      off
i


    0
      惢
x  

{
!  !  !
[ ]
偏序关系  排序
    ˇ
  x    T    ˋ
ˋ
  ˋ      ˋ
 ...