package Ġle et code . find ce le br ity Ċ Ċ abstract Ġclass ĠRelation Ġ{ ĊĠ Ġvar Ġknow Predicate : Ġ( Int , ĠInt ) Ġ-> ĠBoolean Ġ= Ġ{ Ġ_, Ġ_ Ġ-> Ġfalse Ġ} ĊĊĠ Ġfun Ġknows ( x : ĠInt , Ġy : ĠInt ) Ġ= Ġknow Predicate ( x , Ġy ) Ċ } Ċ