/* Example 1 of the paper: discover the position of the car. */ // satellite: position is either A or B (but not both) source(2): (positionA | positionB)&(-positionA | -positionB) // map // if in position A then a building should be on the right // in position B a building should be on the left source(2): -positionA|-building_left source(2): -positionA|building_right source(2): -positionB|building_left source(2): -positionB|-building_right // sensors source(1): building_left&-building_right // vision source(1): building_left&building_right // queries query: positionA query: positionB