P  = S [P]           # program
S  = F "."           # statement
F  = I A             # function at end of statement
   | I A' ";" [F']
F' = A' ";" [F']     # function not at end of statement
F* = I A' ";" [F']   # function not at end of statement
A  = [A' "," ] a     # argument list at end of statement
A' = [A' "," ] a'    # argument list not at end of statement
a  = F | L           # argument at end of statement
a' = F* | L          # argument not at end of statement