; Chad E Brown
; Dec 19 2012
; Modification of mode252c
; SPLIT_GLOBAL_DISJUNCTIONS false
; INITIAL_SUBTERMS_AS_INSTANTIATIONS false
; Confrontation and imitation delayed
SPLIT_GLOBAL_DISJUNCTIONS
false
PRIORITY_QUEUE_IMPL
1
ENABLE_PATTERN_CLAUSES
true
PATTERN_CLAUSES_ONLYALLSTRICT
true
PATTERN_CLAUSES_DELAY
1
EXISTS_DELAY
0
FORALL_DELAY
1
CONFR_DIFF_DELAY
100
CONFR_SAME1_DELAY
100
CONFR_SAME2_DELAY
100
IMITATE_DELAY
100
INITIAL_SUBTERMS_AS_INSTANTIATIONS
false
POST_OR_L_DELAY
2
POST_OR_R_DELAY
2
POST_MATING_DELAY
2
