added symmetric game predicate