How do we distinguish the sensible yet unlikely (blue bananas) from the nonsensical (hour-long bananas), given observations only of what is true in the world (e.g., yellow bananas)? Judgments like these may be supported by the M constraint: the assumption that ontological categories are organized into a predicability tree, and that properties apply to different subtrees within this hierarchy. W...