Pattern comments on Natural Structures and Conditional Definitions