Thus, by applying the second QP we obtain the following CQ:  The above CQ is resolved by ATPS since its truth-test is proved to be entailed by Adimen-SUMO v2.6.
the pair member(police officer 1 n ,police force 1 n ) is decided to be well-aligned with SUMO and the mapping information.