f:Ratio
numerator: minimum cardinality of 'numerator' is 1
denominator: minimum cardinality of 'denominator' is 1