The Colin Howson book uses a notation like R(a,b,c) for the application of a predicate R to the arguments or terms a, b, c.
It employs the upper case letters A-Z, perhaps followed by subscripts, to be predicates, so, for example, R, S₁, T₁2 are all predicates.
The software supports this.
But the software makes an extension.
Often, when working informally, authors will write Red(x) to mean that the predicate Red is applied to the variable x.