Assertion list
behavior (aspect of neighbor ) → HasProperty

Results from Ascent++: 7
behaviorHasProperty unacceptable 0.59
behaviorHasProperty undefined 0.36
behaviorHasProperty wrong 0.36
behaviorHasProperty illegal 0.36
behaviorHasProperty consistent 0.25
behaviorHasProperty normal 0.25
behaviorHasProperty suspicious 0.16