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

MyProduct0-1: 
 1 * had-prod0-c 
 = 6710 
MyProduct0-2: 
 1 * had-prod0-p 
 = 2440 
MyProduct0-3: 
 1 * had-prod0-f 
 = 3050 

MyProduct1-1: 
 1 * had-prod1-c 
 = 6215 
MyProduct1-2: 
 1 * had-prod1-p 
 = 2260 
MyProduct1-3: 
 1 * had-prod1-f 
 = 2825 

MyProduct2-1: 
 1 * had-prod2-c 
 = 9845 
MyProduct2-2: 
 1 * had-prod2-p 
 = 3580 
MyProduct2-3: 
 1 * had-prod2-f 
 = 4475 

MyProduct3-1: 
 1 * had-prod3-c 
 = 3960 
MyProduct3-2: 
 1 * had-prod3-p 
 = 1440 
MyProduct3-3: 
 1 * had-prod3-f 
 = 1800 

MyProduct4-1: 
 1 * had-prod4-c 
 = 4565 
MyProduct4-2: 
 1 * had-prod4-p 
 = 1660 
MyProduct4-3: 
 1 * had-prod4-f 
 = 2075 

MyProduct5-1: 
 1 * had-prod5-c 
 = 8910 
MyProduct5-2: 
 1 * had-prod5-p 
 = 3240 
MyProduct5-3: 
 1 * had-prod5-f 
 = 4050 

MyProduct6-1: 
 1 * had-prod6-c 
 = 825 
MyProduct6-2: 
 1 * had-prod6-p 
 = 300 
MyProduct6-3: 
 1 * had-prod6-f 
 = 375 

MyProduct7-1: 
 1 * had-prod7-c 
 = 1540 
MyProduct7-2: 
 1 * had-prod7-p 
 = 560 
MyProduct7-3: 
 1 * had-prod7-f 
 = 700 

MyProduct8-1: 
 1 * had-prod8-c 
 = 2530 
MyProduct8-2: 
 1 * had-prod8-p 
 = 920 
MyProduct8-3: 
 1 * had-prod8-f 
 = 1150 

MyProduct9-1: 
 1 * had-prod9-c 
 = 2310 
MyProduct9-2: 
 1 * had-prod9-p 
 = 840 
MyProduct9-3: 
 1 * had-prod9-f 
 = 1050 

MyProduct10-1: 
 1 * had-prod10-c 
 = 220 
MyProduct10-2: 
 1 * had-prod10-p 
 = 80 
MyProduct10-3: 
 1 * had-prod10-f 
 = 100 

MyProduct11-1: 
 1 * had-prod11-c 
 = 10230 
MyProduct11-2: 
 1 * had-prod11-p 
 = 3720 
MyProduct11-3: 
 1 * had-prod11-f 
 = 4650 

MyProduct12-1: 
 1 * had-prod12-c 
 = 4290 
MyProduct12-2: 
 1 * had-prod12-p 
 = 1560 
MyProduct12-3: 
 1 * had-prod12-f 
 = 1950 

MyProduct-total: 
 1 * had-total 
 = 113000 

##### 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 
 = 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 
 = 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 
 = 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 
 = 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 
 = 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 
 = 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 
 = 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 
 = 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 
 = 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 
 = 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 
 = 0
