/*
 * Encodings for some constants forming the nonlogical vocabulary of
 * a first order (object) logic
 */

sig  nonlogical.

accum_sig  logic.

type    a               i.
type    b               i.
type	jar		i.


type    p               i -> bool.
type    q               i -> bool.
type	sterile		i -> bool.
type	dead		i -> bool.
type	animal		i -> bool.
type	bug		i -> bool.
type	heated		i -> bool.

type	in		i -> i -> bool.