write new code for predicate-argument