; Chad E Brown, Nov 2015
; mode to target partfun1__206_47 using HOUNIF1
EXISTSTOCHOICE
false
HOUNIF1
true
HOUNIF1BOUND
4
HOUNIF1MATE
true
HOUNIF1MATENONLITS
true
HOUNIF1MAXMATES
1
HOUNIF1NEGFLEX
true
HOUNIF1MATEBELOWEQUIV
false
NOT_IN_PROP_MODEL_DELAY
2
EXISTS_DELAY
1
FORALL_DELAY
1
IMITATE_DELAY
10
PROJECT_DELAY
10
ENUM_START
2000
