Fangzhen Lin: Translating classes to first-order logic: an example. FTfJP@ECOOP 2019: 7:1-7:3