declare fun {IsFruit A} {Member A [apple banana cherry]} end in {Show {IsFruit banana}}