// MODEL type Weather; guaranteed Weather Rain, Sun; type UmbrellaState; guaranteed UmbrellaState CarriesUmbrella, NoUmbrella; random Weather Day(NaturalNum); Day(i) if i = 0 then ~ TabularCPD[[0.5]]() else ~ TabularCPD[[0.7],[0.6]](Day(Pred(i))); random UmbrellaState UmbrellaState(NaturalNum); UmbrellaState(i) ~ TabularCPD[[0.8], [0.1]](Day(i));