様相論理のModalityは14個