(Program
{+(Modifier Unless
(Negate
(Identifier))
(Identifier))+}
{-(Modifier If
(Identifier)
(Identifier))-})