Robocup
(see Time ObjectInfo ObjectInfo
...)
where ObjectInfo = (ObjName Distance Direction
DistChng DirChng BodyDir HeadDir )
and
ObjName ::= (player Teamname UniformNumber) | (goal [l|r]) | (ball) | (flag c) | (flag [l|c|r] [t|b]) | (flag p [l|r] [t|c|b]) | (flag g [l|r] [t|b]) | (flag [l|r|t|b] 0) | (flag [t|b] [l|r] [10|20|30|40|50]) | (flag [l|r] [t|b] [10|20|30]) | (line [l|r|t|b])
6 of 11