Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces Definable relations in finite dimensional subspace lattices with involution. II. Quantifier-free and homogeneous descriptions 