I suppose if we widened the prolog-ish nature of things, instantiated subjects are just concrete values for variables used in look up expressions