b occurs_in c =def b is a proc ...... per_continuant_part_of s’ at t
@en