INTERFACE BigIntegerFractionSeqRep = SequenceRep (BigIntegerFraction, BigIntegerFractionSeq) END BigIntegerFractionSeqRep.