mcdp {
a = instance mcdp {
provides f [dimensionless]
requires r [dimensionless]
provides f2 [dimensionless]
requires r2 [dimensionless]
provided f2 โค required r
# x >= 0.1 * (x + 2)^2
required r2 โฅ 0.1 ยท (provided f2ยฒ + provided f)
}
f2 provided by a โฅ r2 required by a
requires r for a
provides f using a
}
