nationality nationality nationality nationality nationality Pet Pet Pet Pet Pet cigarette cigarette cigarette cigarette cigarette drink drink drink drink drink
Nr Name Value
1 nationality ?
2 colors ?
3 pets ?
4 cigars ?
5 drinks ?
Nr Event Target State ID
1constraint_based_checkState 0
2INITIALISATION(nationality={(1|->"norwegian"),(2|->"dane"),(3|->"brit"),(4|->"german"),(5|->"swede")},colors={(1|->"yell...
Generated on 23/3/2021 at 9:32 using ProB version 1.11.0-nightly
Main specification file: Einstein.prob