+ let query =
+ MQG.query_of_constraints
+ (Some
+ ["http://www.cs.unibo.it/helm/schemas/schema-helm#MainConclusion" ;
+ "http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis" ;
+ "http://www.cs.unibo.it/helm/schemas/schema-helm#InConclusion" ;
+ "http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis"
+ ])
+ must' only
+ in