Model of "first-person realism" or "non-standard realism" (Fine) or "ineffable objects g1 and g2". The basic idea is person b1 perceives what for him is green quale g1, and person b2 perceives what for her is green quale g2. There is no perspective from which a direct comparison (or simultaneous perception) of g1 and g2 is possible. The 'x' are the names for b1, b2, g1, and g2. These are assumed to exist, independently of b1 and b2, in this ontology. The disembodied truths are the ones that are functions of the names 'x' only: f('x') = f('b1', 'b2', 'g1', 'g2'). The embodied truths are anchored by b1 and b2 and given by g(g1, 'x') and h(g2, 'x'), respectively.
1st-order functions involving both g1 and g2, such as i(g1, g2, 'x'), are undefined. In the case in the picture below there's an isomorphism between the set G = set of all functions g and the set H = set of all functions h.