We present a system which combines logical inference with a semantic calculus producing normalised semantic representations that are robust to surface dierences which are irrelevant for entailment detection. We focus on the detection of entailment relations between sentence pairs involving noun/verb alternations and we show that the system correctly predicts a range of interactions between basic noun/verb predications and semantic phenomena such as quantication, negation and non factive contexts.