Ast

data Header

data Mood

data CommentPart

data Comment

data Property

data PropertyExp

data Judgement

isLeafJ

isNodeJ

isBonus