Mathematical properties of
QLSs have been studied extensively (Trave and Dormoy 1988), and interesting notions such as qualitative rank and hard components have been defined, in relation to the problem of solving
QLSs to compute the qualitative state of a system (Trave and Kaszkurewicz 1986; Trave-Massuyes, Dague, and Guerrin 1997).