inst cnd_generated {
Int = `-8+`-7+`-6+`-5+`-4+`-3+`-2+`-1+`0+`1+`2+`3+`4+`5+`6+`7
Pear = `Pear0+`Pear1+`Pear2
Fresh = `Fresh0
Apple = `Apple0+`Apple1+`Apple2+`Apple3+`Apple4
Rotten = `Rotten0
Basket = `Basket0+`Basket1+`Basket2
Banana = `Banana0+`Banana1+`Banana2+`Banana3+`Banana4
no no-field-guard
fruit = (`Basket0->`Apple3)+(`Basket0->`Apple4)+(`Basket0->`Pear1)+(`Basket0->`Pear2)+(`Basket1->`Apple1)+(`Basket1->`Apple2)+(`Basket1->`Banana1)+(`Basket1->`Banana2)+(`Basket1->`Banana3)+(`Basket1->`Banana4)+(`Basket1->`Pear0)+(`Basket2->`Apple0)+(`Basket2->`Banana0)
status = (`Apple0->`Fresh0)+(`Apple1->`Rotten0)+(`Apple2->`Fresh0)+(`Apple3->`Rotten0)+(`Apple4->`Fresh0)+(`Banana0->`Fresh0)+(`Banana1->`Rotten0)+(`Banana2->`Rotten0)+(`Banana3->`Fresh0)+(`Banana4->`Fresh0)+(`Pear0->`Fresh0)+(`Pear1->`Rotten0)+(`Pear2->`Rotten0)
}