pred definition syntax added