portray_class(constraint(A, B, C), _, constraint(A, B, p/C)).
Which should not touch the first two arguments (A and B), but portrays C recursively.