Aris expects a certain form of syntax. Most of the connectives are infix, which means that they are placed in between their arguments. The negation is one exception to this.
Aris expects that all predicates start with an uppercase character. Aris also expects that all function symbols begin with a lower case character. After this, Aris will except any combination of upper case letters, lower case letters, numbers, or ‘_’.