Here, in no particular order, are the rules I found:
RENAME ::= Call SELECTOR THINGID
INVOKE ::= METHODNAME The SELECTOR | Do METHODNAME SELECTOR
CONDITIONAL ::= If TRUTHY Then BLOCK
LINES ::= LINE | LINE ""
"" LINE
TRUTHY ::= RVALUE | RVALUE Is Not RVALUE | RVALUE Is QUALITYVALUE | Truthy Or RVALUE | Truthy And RVALUE
QUALITYVALUE ::= Red | Green | Yellow | Big | Small | Medium
QUALITYNAME ::= Colour | Size | Owner
SET ::= SELECTOR Has RVALUE | SELECTOR QNAMECHAIN is QUALITYVALUE
QNAMECHAIN ::= 's QUALITYNAME | 's QUALITYNAME QNAMECHAIN
SINGULAR ::= It | That THINGNAME | The PROPERTYVALUECHAIN THINGNAME | THINGID
LINE ::= SET | EXEC | BLOCK | CONDITIONAL | INVOKE | RENAME
DECLARATIONS ::= DECL | DECL ""
"" DECL
SELECTOR ::= SINGULAR | PLURAL
EXEC ::= {...}
option ::= debug = 1
PROPERTYVALUECHAIN ::= QUALITYVALUE | QUALITYVALUE PROPERTYVALUECHAIN
PLURAL ::= Each THINGNAME | Each PROPERTYVALUECHAIN THINGNAME
THINGID ::= foo | bar | fred | stuff | temp
bnf ::= DECLARATIONS ""
"" LINES
LINES
LINES
RVALUE ::= SINGULAR QNAMECHAIN
BLOCK ::= {...} | { LINE }
DECL ::= A THINGNAME Is SINGULAR | TRIGGER | To METHODNAME A THINGNAME BLOCK
TRIGGER ::= When TRUTHY BLOCK
METHODNAME ::= Pick | Poke | Rotate
THINGNAME ::= Thing | Token | Bag | Map | Board | Ship | Counter | Piece
This is what I did with them:
Iteration 1: Lookup: bnf ::= DECLARATIONS "
" LINES
LINES
LINES
Iteration 2: Lookup: DECLARATIONS ::= DECL
Iteration 3: Lookup: DECL ::= TRIGGER
Iteration 4: Lookup: TRIGGER ::= When TRUTHY BLOCK
Iteration 5: Iteration 6: Lookup: TRUTHY ::= Truthy And RVALUE
Iteration 7: Iteration 8: Iteration 9: Lookup: RVALUE ::= SINGULAR QNAMECHAIN
Iteration 10: Lookup: SINGULAR ::= The PROPERTYVALUECHAIN THINGNAME
Iteration 11: Iteration 12: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 13: Lookup: QUALITYVALUE ::= Yellow
Iteration 14: Iteration 15: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE
Iteration 16: Lookup: QUALITYVALUE ::= Big
Iteration 17: Iteration 18: Lookup: THINGNAME ::= Map
Iteration 19: Iteration 20: Lookup: QNAMECHAIN ::= 's QUALITYNAME QNAMECHAIN
Iteration 21: Iteration 22: Lookup: QUALITYNAME ::= Colour
Iteration 23: Iteration 24: Lookup: QNAMECHAIN ::= 's QUALITYNAME QNAMECHAIN
Iteration 25: Iteration 26: Lookup: QUALITYNAME ::= Colour
Iteration 27: Iteration 28: Lookup: QNAMECHAIN ::= 's QUALITYNAME
Iteration 29: Iteration 30: Lookup: QUALITYNAME ::= Owner
Iteration 31: Iteration 32: Lookup: BLOCK ::= { LINE }
Iteration 33: Iteration 34: Lookup: LINE ::= RENAME
Iteration 35: Lookup: RENAME ::= Call SELECTOR THINGID
Iteration 36: Iteration 37: Lookup: SELECTOR ::= SINGULAR
Iteration 38: Lookup: SINGULAR ::= The PROPERTYVALUECHAIN THINGNAME
Iteration 39: Iteration 40: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE
Iteration 41: Lookup: QUALITYVALUE ::= Medium
Iteration 42: Iteration 43: Lookup: THINGNAME ::= Bag
Iteration 44: Iteration 45: Lookup: THINGID ::= bar
Iteration 46: Iteration 47: Iteration 48: Iteration 49: Lookup: LINES ::= LINE
Iteration 50: Lookup: LINE ::= CONDITIONAL
Iteration 51: Lookup: CONDITIONAL ::= If TRUTHY Then BLOCK
Iteration 52: Iteration 53: Lookup: TRUTHY ::= Truthy And RVALUE
Iteration 54: Iteration 55: Iteration 56: Lookup: RVALUE ::= SINGULAR QNAMECHAIN
Iteration 57: Lookup: SINGULAR ::= The PROPERTYVALUECHAIN THINGNAME
Iteration 58: Iteration 59: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 60: Lookup: QUALITYVALUE ::= Green
Iteration 61: Iteration 62: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 63: Lookup: QUALITYVALUE ::= Green
Iteration 64: Iteration 65: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 66: Lookup: QUALITYVALUE ::= Big
Iteration 67: Iteration 68: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 69: Lookup: QUALITYVALUE ::= Green
Iteration 70: Iteration 71: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE
Iteration 72: Lookup: QUALITYVALUE ::= Yellow
Iteration 73: Iteration 74: Lookup: THINGNAME ::= Counter
Iteration 75: Iteration 76: Lookup: QNAMECHAIN ::= 's QUALITYNAME
Iteration 77: Iteration 78: Lookup: QUALITYNAME ::= Colour
Iteration 79: Iteration 80: Iteration 81: Lookup: BLOCK ::= {...}
Iteration 82: Iteration 83: Iteration 84: Iteration 85: Lookup: LINES ::= LINE "
" LINE
Iteration 86: Lookup: LINE ::= CONDITIONAL
Iteration 87: Lookup: CONDITIONAL ::= If TRUTHY Then BLOCK
Iteration 88: Iteration 89: Lookup: TRUTHY ::= RVALUE Is Not RVALUE
Iteration 90: Lookup: RVALUE ::= SINGULAR QNAMECHAIN
Iteration 91: Lookup: SINGULAR ::= THINGID
Iteration 92: Lookup: THINGID ::= foo
Iteration 93: Iteration 94: Lookup: QNAMECHAIN ::= 's QUALITYNAME QNAMECHAIN
Iteration 95: Iteration 96: Lookup: QUALITYNAME ::= Colour
Iteration 97: Iteration 98: Lookup: QNAMECHAIN ::= 's QUALITYNAME QNAMECHAIN
Iteration 99: Iteration 100: Lookup: QUALITYNAME ::= Owner
Iteration 101: Iteration 102: Lookup: QNAMECHAIN ::= 's QUALITYNAME QNAMECHAIN
Iteration 103: Iteration 104: Lookup: QUALITYNAME ::= Size
Iteration 105: Iteration 106: Lookup: QNAMECHAIN ::= 's QUALITYNAME
Iteration 107: Iteration 108: Lookup: QUALITYNAME ::= Colour
Iteration 109: Iteration 110: Iteration 111: Iteration 112: Lookup: RVALUE ::= SINGULAR QNAMECHAIN
Iteration 113: Lookup: SINGULAR ::= The PROPERTYVALUECHAIN THINGNAME
Iteration 114: Iteration 115: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE
Iteration 116: Lookup: QUALITYVALUE ::= Yellow
Iteration 117: Iteration 118: Lookup: THINGNAME ::= Counter
Iteration 119: Iteration 120: Lookup: QNAMECHAIN ::= 's QUALITYNAME
Iteration 121: Iteration 122: Lookup: QUALITYNAME ::= Owner
Iteration 123: Iteration 124: Iteration 125: Lookup: BLOCK ::= { LINE }
Iteration 126: Iteration 127: Lookup: LINE ::= BLOCK
Iteration 128: Lookup: BLOCK ::= {...}
Iteration 129: Iteration 130: Iteration 131: Iteration 132: Lookup: LINE ::= INVOKE
Iteration 133: Lookup: INVOKE ::= Do METHODNAME SELECTOR
Iteration 134: Iteration 135: Lookup: METHODNAME ::= Poke
Iteration 136: Iteration 137: Lookup: SELECTOR ::= PLURAL
Iteration 138: Lookup: PLURAL ::= Each PROPERTYVALUECHAIN THINGNAME
Iteration 139: Iteration 140: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 141: Lookup: QUALITYVALUE ::= Medium
Iteration 142: Iteration 143: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 144: Lookup: QUALITYVALUE ::= Green
Iteration 145: Iteration 146: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 147: Lookup: QUALITYVALUE ::= Medium
Iteration 148: Iteration 149: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 150: Lookup: QUALITYVALUE ::= Yellow
Iteration 151: Iteration 152: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE
Iteration 153: Lookup: QUALITYVALUE ::= Big
Iteration 154: Iteration 155: Lookup: THINGNAME ::= Bag
Iteration 156: Iteration 157: Iteration 158: Iteration 159: Lookup: LINES ::= LINE "
" LINE
Iteration 160: Lookup: LINE ::= RENAME
Iteration 161: Lookup: RENAME ::= Call SELECTOR THINGID
Iteration 162: Iteration 163: Lookup: SELECTOR ::= PLURAL
Iteration 164: Lookup: PLURAL ::= Each PROPERTYVALUECHAIN THINGNAME
Iteration 165: Iteration 166: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 167: Lookup: QUALITYVALUE ::= Green
Iteration 168: Iteration 169: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE
Iteration 170: Lookup: QUALITYVALUE ::= Yellow
Iteration 171: Iteration 172: Lookup: THINGNAME ::= Token
Iteration 173: Iteration 174: Lookup: THINGID ::= stuff
Iteration 175: Iteration 176: Iteration 177: Lookup: LINE ::= SET
Iteration 178: Lookup: SET ::= SELECTOR Has RVALUE
Iteration 179: Lookup: SELECTOR ::= SINGULAR
Iteration 180: Lookup: SINGULAR ::= It
Iteration 181: Iteration 182: Iteration 183: Lookup: RVALUE ::= SINGULAR QNAMECHAIN
Iteration 184: Lookup: SINGULAR ::= The PROPERTYVALUECHAIN THINGNAME
Iteration 185: Iteration 186: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE PROPERTYVALUECHAIN
Iteration 187: Lookup: QUALITYVALUE ::= Medium
Iteration 188: Iteration 189: Lookup: PROPERTYVALUECHAIN ::= QUALITYVALUE
Iteration 190: Lookup: QUALITYVALUE ::= Medium
Iteration 191: Iteration 192: Lookup: THINGNAME ::= Board
Iteration 193: Iteration 194: Lookup: QNAMECHAIN ::= 's QUALITYNAME
Iteration 195: Iteration 196: Lookup: QUALITYNAME ::= Size
Iteration 197:
..and here's what I got:
When Truthy And The Yellow Big Map 's Colour 's Colour 's Owner { Call The Medium Bag bar }
If Truthy And The Green Green Big Green Yellow Counter 's Colour Then {...}
If foo 's Colour 's Owner 's Size 's Colour Is Not The Yellow Counter 's Owner Then { {...} }
Do Poke Each Medium Green Medium Yellow Big Bag
Call Each Green Yellow Token stuff
It Has The Medium Medium Board 's Size
Vitenka/TempSyntax