Show NP-completeness of probabilistic Montague semantics