The output of IA bool is shown in (10b).
(10) (a)`fan ∧ green´∨`sofa ∧ blue' the green fan and the big sofa' (b)`sofa ∨ fan´∧ small ∧ front ∧`blue ∨ green' the small, blue and green sofa and fan' of IA bool 's requiring a property or disjunction to be true of the the entire set of referents, COLOUR is not included until disjunctions are considered, while values of SIZE and ORIENTATION are included at first pass.