Initial implementation hand-specified pred sem relats