Transferring Knowledge from One Context to Another. PATT40 2023, 1 (October).