(Program
{+(Or
    (Identifier)
    (Identifier))+}
{-(And
    (Identifier)
    (Identifier))-})