Correct predictions are in blue. If we detect only a subset of a labelled sentence, we highlight the caught part as blue, the missing part light blue. False positives are in green and false negatives are in red.

Problem Mine_Planning — Constraint detection

A mining company is going to continue operating in a certain area for the next five years . There are four mines in this area , but it can operate at most three in any one year . Although a mine may not operate in a certain year , it is still necessary to keep it `` open '' , in the sense that royalties are payable , if it be operated in a future year . Clearly , if a mine is not going to be worked again , it can be permanently closed down and no more royalties need be paid . The yearly royalties payable on each mine kept `` open '' are as follows : 5 million pounds -LRB- Mine 1 -RRB- , 4 million pounds -LRB- Mine 2 -RRB- , 4 million pounds -LRB- Mine 3 -RRB- , 5 million pounds -LRB- Mine 4 -RRB- . There is an upper limit to the amount of ore , which can be extracted from each mine in a year : these upper limits are given in a table . The ore from the different mines is of varying quality . This quality is measured on a scale so that blending ores together results in a linear combination of the quality measurements , for example , if equal quantities of two ores were combined , the resultant ore would have a quality measurement half way between that of the ingredient ores . Measured in these units the qualities of the ores from the mines are given as follows : 1.0 -LRB- Mine 1 -RRB- , 0.7 -LRB- Mine 2 -RRB- , 1.5 -LRB- Mine 3 -RRB- , 0.5 -LRB- Mine 4 -RRB- . In each year , it is necessary to combine the total outputs from each mine to produce a blended ore of exactly some stipulated quality . For each year , these qualities are as follows : 0.9 -LRB- Year 1 -RRB- , 0.8 -LRB- Year 2 -RRB- , 1.2 -LRB- Year 3 -RRB- , 0.6 -LRB- Year 4 -RRB- , 0.5 -LRB- Year 5 -RRB- . The final blended ore sells for pounds 10 ton each year . Revenue and expenditure for future years must be discounted at a rate of 10 % per annum . Which mines should be operated each year and how much should they produce ?

Problem Mine_Planning — Detection of the decisions and objects to be modeled

A mining company is going to continue operating in a certain area for the next five years . There are four mines in this area , but it can operate at most three in any one year . Although a mine may not operate in a certain year , it is still necessary to keep it `` open '' , in the sense that royalties are payable , if it be operated in a future year . Clearly , if a mine is not going to be worked again , it can be permanently closed down and no more royalties need be paid . The yearly royalties payable on each mine kept `` open '' are as follows : 5 million pounds -LRB- Mine 1 -RRB- , 4 million pounds -LRB- Mine 2 -RRB- , 4 million pounds -LRB- Mine 3 -RRB- , 5 million pounds -LRB- Mine 4 -RRB- . There is an upper limit to the amount of ore , which can be extracted from each mine in a year : these upper limits are given in a table . The ore from the different mines is of varying quality . This quality is measured on a scale so that blending ores together results in a linear combination of the quality measurements , for example , if equal quantities of two ores were combined , the resultant ore would have a quality measurement half way between that of the ingredient ores . Measured in these units the qualities of the ores from the mines are given as follows : 1.0 -LRB- Mine 1 -RRB- , 0.7 -LRB- Mine 2 -RRB- , 1.5 -LRB- Mine 3 -RRB- , 0.5 -LRB- Mine 4 -RRB- . In each year , it is necessary to combine the total outputs from each mine to produce a blended ore of exactly some stipulated quality . For each year , these qualities are as follows : 0.9 -LRB- Year 1 -RRB- , 0.8 -LRB- Year 2 -RRB- , 1.2 -LRB- Year 3 -RRB- , 0.6 -LRB- Year 4 -RRB- , 0.5 -LRB- Year 5 -RRB- . The final blended ore sells for pounds 10 ton each year . Revenue and expenditure for future years must be discounted at a rate of 10 % per annum . Which mines should be operated each year and how much should they produce ?

Back to list