#my day intake description and constraints
PREFIX : <http://www.semanticweb.org/alisa/ontologies/2023/concrete-domain/diet#> 

MyProduct0-1: 
 1 * had-prod0-c 
 = 3190 
MyProduct0-2: 
 1 * had-prod0-p 
 = 1160 
MyProduct0-3: 
 1 * had-prod0-f 
 = 1450 

MyProduct1-1: 
 1 * had-prod1-c 
 = 7370 
MyProduct1-2: 
 1 * had-prod1-p 
 = 2680 
MyProduct1-3: 
 1 * had-prod1-f 
 = 3350 

MyProduct2-1: 
 1 * had-prod2-c 
 = 7040 
MyProduct2-2: 
 1 * had-prod2-p 
 = 2560 
MyProduct2-3: 
 1 * had-prod2-f 
 = 3200 

MyProduct3-1: 
 1 * had-prod3-c 
 = 5115 
MyProduct3-2: 
 1 * had-prod3-p 
 = 1860 
MyProduct3-3: 
 1 * had-prod3-f 
 = 2325 

MyProduct4-1: 
 1 * had-prod4-c 
 = 935 
MyProduct4-2: 
 1 * had-prod4-p 
 = 340 
MyProduct4-3: 
 1 * had-prod4-f 
 = 425 

MyProduct5-1: 
 1 * had-prod5-c 
 = 1925 
MyProduct5-2: 
 1 * had-prod5-p 
 = 700 
MyProduct5-3: 
 1 * had-prod5-f 
 = 875 

MyProduct6-1: 
 1 * had-prod6-c 
 = 7865 
MyProduct6-2: 
 1 * had-prod6-p 
 = 2860 
MyProduct6-3: 
 1 * had-prod6-f 
 = 3575 

MyProduct7-1: 
 1 * had-prod7-c 
 = 2420 
MyProduct7-2: 
 1 * had-prod7-p 
 = 880 
MyProduct7-3: 
 1 * had-prod7-f 
 = 1100 

MyProduct8-1: 
 1 * had-prod8-c 
 = 8855 
MyProduct8-2: 
 1 * had-prod8-p 
 = 3220 
MyProduct8-3: 
 1 * had-prod8-f 
 = 4025 

MyProduct9-1: 
 1 * had-prod9-c 
 = 3520 
MyProduct9-2: 
 1 * had-prod9-p 
 = 1280 
MyProduct9-3: 
 1 * had-prod9-f 
 = 1600 

MyProduct10-1: 
 1 * had-prod10-c 
 = 7755 
MyProduct10-2: 
 1 * had-prod10-p 
 = 2820 
MyProduct10-3: 
 1 * had-prod10-f 
 = 3525 

MyProduct11-1: 
 1 * had-prod11-c 
 = 7590 
MyProduct11-2: 
 1 * had-prod11-p 
 = 2760 
MyProduct11-3: 
 1 * had-prod11-f 
 = 3450 

MyProduct12-1: 
 1 * had-prod12-c 
 = 1265 
MyProduct12-2: 
 1 * had-prod12-p 
 = 460 
MyProduct12-3: 
 1 * had-prod12-f 
 = 575 

MyProduct13-1: 
 1 * had-prod13-c 
 = 8580 
MyProduct13-2: 
 1 * had-prod13-p 
 = 3120 
MyProduct13-3: 
 1 * had-prod13-f 
 = 3900 

MyProduct14-1: 
 1 * had-prod14-c 
 = 6105 
MyProduct14-2: 
 1 * had-prod14-p 
 = 2220 
MyProduct14-3: 
 1 * had-prod14-f 
 = 2775 

MyProduct15-1: 
 1 * had-prod15-c 
 = 1980 
MyProduct15-2: 
 1 * had-prod15-p 
 = 720 
MyProduct15-3: 
 1 * had-prod15-f 
 = 900 

MyProduct16-1: 
 1 * had-prod16-c 
 = 2035 
MyProduct16-2: 
 1 * had-prod16-p 
 = 740 
MyProduct16-3: 
 1 * had-prod16-f 
 = 925 

MyProduct17-1: 
 1 * had-prod17-c 
 = 3465 
MyProduct17-2: 
 1 * had-prod17-p 
 = 1260 
MyProduct17-3: 
 1 * had-prod17-f 
 = 1575 

MyProduct18-1: 
 1 * had-prod18-c 
 = 9570 
MyProduct18-2: 
 1 * had-prod18-p 
 = 3480 
MyProduct18-3: 
 1 * had-prod18-f 
 = 4350 

MyProduct19-1: 
 1 * had-prod19-c 
 = 4950 
MyProduct19-2: 
 1 * had-prod19-p 
 = 1800 
MyProduct19-3: 
 1 * had-prod19-f 
 = 2250 

MyProduct20-1: 
 1 * had-prod20-c 
 = 1045 
MyProduct20-2: 
 1 * had-prod20-p 
 = 380 
MyProduct20-3: 
 1 * had-prod20-f 
 = 475 

MyProduct-total: 
 1 * had-total 
 = 186500 

##### TBox constrains

TotalAmount:
 1 * had-total 
 -1 * had-prod0-c 
 -1 * had-prod0-p 
 -1 * had-prod0-f 
 -1 * had-prod1-c 
 -1 * had-prod1-p 
 -1 * had-prod1-f 
 -1 * had-prod2-c 
 -1 * had-prod2-p 
 -1 * had-prod2-f 
 -1 * had-prod3-c 
 -1 * had-prod3-p 
 -1 * had-prod3-f 
 -1 * had-prod4-c 
 -1 * had-prod4-p 
 -1 * had-prod4-f 
 -1 * had-prod5-c 
 -1 * had-prod5-p 
 -1 * had-prod5-f 
 -1 * had-prod6-c 
 -1 * had-prod6-p 
 -1 * had-prod6-f 
 -1 * had-prod7-c 
 -1 * had-prod7-p 
 -1 * had-prod7-f 
 -1 * had-prod8-c 
 -1 * had-prod8-p 
 -1 * had-prod8-f 
 -1 * had-prod9-c 
 -1 * had-prod9-p 
 -1 * had-prod9-f 
 -1 * had-prod10-c 
 -1 * had-prod10-p 
 -1 * had-prod10-f 
 -1 * had-prod11-c 
 -1 * had-prod11-p 
 -1 * had-prod11-f 
 -1 * had-prod12-c 
 -1 * had-prod12-p 
 -1 * had-prod12-f 
 -1 * had-prod13-c 
 -1 * had-prod13-p 
 -1 * had-prod13-f 
 -1 * had-prod14-c 
 -1 * had-prod14-p 
 -1 * had-prod14-f 
 -1 * had-prod15-c 
 -1 * had-prod15-p 
 -1 * had-prod15-f 
 -1 * had-prod16-c 
 -1 * had-prod16-p 
 -1 * had-prod16-f 
 -1 * had-prod17-c 
 -1 * had-prod17-p 
 -1 * had-prod17-f 
 -1 * had-prod18-c 
 -1 * had-prod18-p 
 -1 * had-prod18-f 
 -1 * had-prod19-c 
 -1 * had-prod19-p 
 -1 * had-prod19-f 
 -1 * had-prod20-c 
 -1 * had-prod20-p 
 -1 * had-prod20-f 
 = 0

FullCarbs:
 1 * had-total 
 -1 * had-prod0-c 
 -1 * had-prod1-c 
 -1 * had-prod2-c 
 -1 * had-prod3-c 
 -1 * had-prod4-c 
 -1 * had-prod5-c 
 -1 * had-prod6-c 
 -1 * had-prod7-c 
 -1 * had-prod8-c 
 -1 * had-prod9-c 
 -1 * had-prod10-c 
 -1 * had-prod11-c 
 -1 * had-prod12-c 
 -1 * had-prod13-c 
 -1 * had-prod14-c 
 -1 * had-prod15-c 
 -1 * had-prod16-c 
 -1 * had-prod17-c 
 -1 * had-prod18-c 
 -1 * had-prod19-c 
 -1 * had-prod20-c 
 = 0

FullProtein:
 1 * had-total 
 -1 * had-prod0-p 
 -1 * had-prod1-p 
 -1 * had-prod2-p 
 -1 * had-prod3-p 
 -1 * had-prod4-p 
 -1 * had-prod5-p 
 -1 * had-prod6-p 
 -1 * had-prod7-p 
 -1 * had-prod8-p 
 -1 * had-prod9-p 
 -1 * had-prod10-p 
 -1 * had-prod11-p 
 -1 * had-prod12-p 
 -1 * had-prod13-p 
 -1 * had-prod14-p 
 -1 * had-prod15-p 
 -1 * had-prod16-p 
 -1 * had-prod17-p 
 -1 * had-prod18-p 
 -1 * had-prod19-p 
 -1 * had-prod20-p 
 = 0

FullFat:
 1 * had-total 
 -1 * had-prod0-f 
 -1 * had-prod1-f 
 -1 * had-prod2-f 
 -1 * had-prod3-f 
 -1 * had-prod4-f 
 -1 * had-prod5-f 
 -1 * had-prod6-f 
 -1 * had-prod7-f 
 -1 * had-prod8-f 
 -1 * had-prod9-f 
 -1 * had-prod10-f 
 -1 * had-prod11-f 
 -1 * had-prod12-f 
 -1 * had-prod13-f 
 -1 * had-prod14-f 
 -1 * had-prod15-f 
 -1 * had-prod16-f 
 -1 * had-prod17-f 
 -1 * had-prod18-f 
 -1 * had-prod19-f 
 -1 * had-prod20-f 
 = 0

Carbs55:
 11 * had-total 
 -20 * had-prod0-c 
 -20 * had-prod1-c 
 -20 * had-prod2-c 
 -20 * had-prod3-c 
 -20 * had-prod4-c 
 -20 * had-prod5-c 
 -20 * had-prod6-c 
 -20 * had-prod7-c 
 -20 * had-prod8-c 
 -20 * had-prod9-c 
 -20 * had-prod10-c 
 -20 * had-prod11-c 
 -20 * had-prod12-c 
 -20 * had-prod13-c 
 -20 * had-prod14-c 
 -20 * had-prod15-c 
 -20 * had-prod16-c 
 -20 * had-prod17-c 
 -20 * had-prod18-c 
 -20 * had-prod19-c 
 -20 * had-prod20-c 
 = 0

Carbs45:
 9 * had-total 
 -20 * had-prod0-c 
 -20 * had-prod1-c 
 -20 * had-prod2-c 
 -20 * had-prod3-c 
 -20 * had-prod4-c 
 -20 * had-prod5-c 
 -20 * had-prod6-c 
 -20 * had-prod7-c 
 -20 * had-prod8-c 
 -20 * had-prod9-c 
 -20 * had-prod10-c 
 -20 * had-prod11-c 
 -20 * had-prod12-c 
 -20 * had-prod13-c 
 -20 * had-prod14-c 
 -20 * had-prod15-c 
 -20 * had-prod16-c 
 -20 * had-prod17-c 
 -20 * had-prod18-c 
 -20 * had-prod19-c 
 -20 * had-prod20-c 
 = 0

Protein30:
 3 * had-total 
 -10 * had-prod0-p 
 -10 * had-prod1-p 
 -10 * had-prod2-p 
 -10 * had-prod3-p 
 -10 * had-prod4-p 
 -10 * had-prod5-p 
 -10 * had-prod6-p 
 -10 * had-prod7-p 
 -10 * had-prod8-p 
 -10 * had-prod9-p 
 -10 * had-prod10-p 
 -10 * had-prod11-p 
 -10 * had-prod12-p 
 -10 * had-prod13-p 
 -10 * had-prod14-p 
 -10 * had-prod15-p 
 -10 * had-prod16-p 
 -10 * had-prod17-p 
 -10 * had-prod18-p 
 -10 * had-prod19-p 
 -10 * had-prod20-p 
 = 0

Protein25:
 1 * had-total 
 -4 * had-prod0-p 
 -4 * had-prod1-p 
 -4 * had-prod2-p 
 -4 * had-prod3-p 
 -4 * had-prod4-p 
 -4 * had-prod5-p 
 -4 * had-prod6-p 
 -4 * had-prod7-p 
 -4 * had-prod8-p 
 -4 * had-prod9-p 
 -4 * had-prod10-p 
 -4 * had-prod11-p 
 -4 * had-prod12-p 
 -4 * had-prod13-p 
 -4 * had-prod14-p 
 -4 * had-prod15-p 
 -4 * had-prod16-p 
 -4 * had-prod17-p 
 -4 * had-prod18-p 
 -4 * had-prod19-p 
 -4 * had-prod20-p 
 = 0

Protein20:
 1 * had-total 
 -5 * had-prod0-p 
 -5 * had-prod1-p 
 -5 * had-prod2-p 
 -5 * had-prod3-p 
 -5 * had-prod4-p 
 -5 * had-prod5-p 
 -5 * had-prod6-p 
 -5 * had-prod7-p 
 -5 * had-prod8-p 
 -5 * had-prod9-p 
 -5 * had-prod10-p 
 -5 * had-prod11-p 
 -5 * had-prod12-p 
 -5 * had-prod13-p 
 -5 * had-prod14-p 
 -5 * had-prod15-p 
 -5 * had-prod16-p 
 -5 * had-prod17-p 
 -5 * had-prod18-p 
 -5 * had-prod19-p 
 -5 * had-prod20-p 
 = 0

Fat30:
 3 * had-total 
 -10 * had-prod0-f 
 -10 * had-prod1-f 
 -10 * had-prod2-f 
 -10 * had-prod3-f 
 -10 * had-prod4-f 
 -10 * had-prod5-f 
 -10 * had-prod6-f 
 -10 * had-prod7-f 
 -10 * had-prod8-f 
 -10 * had-prod9-f 
 -10 * had-prod10-f 
 -10 * had-prod11-f 
 -10 * had-prod12-f 
 -10 * had-prod13-f 
 -10 * had-prod14-f 
 -10 * had-prod15-f 
 -10 * had-prod16-f 
 -10 * had-prod17-f 
 -10 * had-prod18-f 
 -10 * had-prod19-f 
 -10 * had-prod20-f 
 = 0

Fat25:
 1 * had-total 
 -4 * had-prod0-f 
 -4 * had-prod1-f 
 -4 * had-prod2-f 
 -4 * had-prod3-f 
 -4 * had-prod4-f 
 -4 * had-prod5-f 
 -4 * had-prod6-f 
 -4 * had-prod7-f 
 -4 * had-prod8-f 
 -4 * had-prod9-f 
 -4 * had-prod10-f 
 -4 * had-prod11-f 
 -4 * had-prod12-f 
 -4 * had-prod13-f 
 -4 * had-prod14-f 
 -4 * had-prod15-f 
 -4 * had-prod16-f 
 -4 * had-prod17-f 
 -4 * had-prod18-f 
 -4 * had-prod19-f 
 -4 * had-prod20-f 
 = 0
