Thanks. And I almost forgot! The said codes must be converted to First Order Predicate Logic! *headbangs himself on the wall*

That's all I need!