# WELLNESS PROFILE - P0003

@prefix : <http://www.ruleml.org/WellnessRules#>. 
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. 
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
	
##############
# RSVP QUERY #
##############

:rsvpQuery_1
	rdf:type	:RSVPQuery;
	:profileID	:p0003;
	:minRSVP	2;
	:maxRSVP	6.	
	
############
# CALENDAR #
############

:calendar_3
	rdf:type	:Calendar;
	:profileID	:p0003;
	:calendarID	:c0003.
	
####################
# EVENTS - possible #
####################

:event_10
	rdf:type	:Event;
	:calendarID	:c0003;
	:aspect		?;
	:tense		:possible;
	:startTime	"2009-06-15T11:15:00";
	:endTime	"2009-06-15T11:45:00".
	
:event_11
	rdf:type	:Event;
	:calendarID	:c0003;
	:aspect		?;
	:tense		:possible;
	:startTime	"2009-06-13T13:00:00";
	:endTime	"2009-06-13T14:00:00".
	
:event_12
	rdf:type	:Event;
	:calendarID	:c0003;
	:aspect		?;
	:tense		:possible;
	:startTime	"2009-11-13T14:30:00";
	:endTime	"2009-11-13T16:00:00".
	
:event_13
	rdf:type	:Event;
	:calendarID	:c0003;
	:aspect		?;
	:tense		:possible;
	:startTime	"2009-11-15T12:30:00";
	:endTime	"2009-11-15T15:00:00".
	
#######
# MAP #
#######

:map_3
	rdf:type	:Map;
	:profileID	:p0003;
	:mapID		:m0001.
	
###########################
# EXPECTED FITNESS LEVELS #
###########################

:fitness_9
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	"2009-06-15T11:15:00";
	:expectedFitness	4.

:fitness_10
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	"2009-06-13T13:00:00";
	:expectedFitness	5.
	
:fitness_11
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	"2009-11-13T14:30:00";
	:expectedFitness	6.
	
:fitness_12
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	"2009-11-15T12:30:00";
	:expectedFitness	7.
	
##################################
# MEETUP LOCATION FITNESS LEVELS #
##################################

:level_101
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P10M";
	:fitnessLevel		2.
	
:level_102
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P20M";
	:fitnessLevel		3.
	
:level_103
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P40M";
	:fitnessLevel		4.
	
:level_104
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P60M";
	:fitnessLevel		5.
	
:level_105
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P80M";
	:fitnessLevel		6.
	
:level_106
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:debbiesValley;
	:duration	"P10M";
	:fitnessLevel		1.
	
:level_107
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:debbiesValley;
	:duration	"P20M";
	:fitnessLevel		2.
	
:level_108
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:debbiesValley;
	:duration	"P40M";
	:fitnessLevel		3.
	
:level_109
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:debbiesValley;
	:duration	"P60M";
	:fitnessLevel		4.
	
:level_110
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	:debbiesValley;
	:duration	"P80M";
	:fitnessLevel		5.
	
:level_111
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P10M";
	:fitnessLevel 		3.
	
:level_112
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P20M";
	:fitnessLevel		4.
	
:level_113
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P40M";
	:fitnessLevel		5.
	
:level_114
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P60M";
	:fitnessLevel		6.
	
:level_115
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:conniesStation;
	:duration	"P80M";
	:fitnessLevel		7.
	
:level_116
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:petersWagon;
	:duration	"P10M";
	:fitnessLevel		1.

:level_117
	rdf:type	:Level;	
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:petersWagon;
	:duration	"P20M";
	:fitnessLevel		2.
	
:level_118
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:petersWagon;
	:duration	"P40M";
	:fitnessLevel		3.
	
:level_119
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:petersWagon;
	:duration	"P60M";
	:fitnessLevel		4.
	
:level_120
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:petersWagon;
	:duration	"P80M";
	:fitnessLevel		5.
	
:level_121
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:allensBrook;
	:duration	"P10M";
	:fitnessLevel		1.
	
:level_122
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:allensBrook;
	:duration	"P20M";
	:fitnessLevel		1.
	
:level_123
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:allensBrook;
	:duration	"P40M";
	:fitnessLevel		2.
	
:level_124
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:allensBrook;
	:duration	"P60M";
	:fitnessLevel		2.
	
:level_125
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	:allensBrook;
	:duration	"P80M";
	:fitnessLevel		2.
	
:level_126
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:in;
	:location	:johnsPool;
	:duration	"P10M";
	:fitnessLevel		1.
	
:level_127
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:in;
	:location	:johnsPool;
	:duration	"P20M";
	:fitnessLevel		2.
	
:level_128
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:in;
	:location	:johnsPool;
	:duration	"P40M";
	:fitnessLevel		3.
	
:level_129
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:in;
	:location	:johnsPool;
	:duration	"P60M";
	:fitnessLevel		4.
	
:level_130
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:in;
	:location	:johnsPool;
	:duration	"P80M";
	:fitnessLevel		6.
	
:level_131
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P10M";
	:fitnessLevel		2.
	
:level_132
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P20M";
	:fitnessLevel		2.
	
:level_133
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P40M";
	:fitnessLevel		3.
	
:level_134
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P60M";
	:fitnessLevel		3.
	
:level_135
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P80M";
	:fitnessLevel		4.
	
:level_136
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:skate;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P10M";
	:fitnessLevel		1.
	
:level_137
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:skate;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P20M";
	:fitnessLevel		2.
	
:level_138
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:skate;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P40M";
	:fitnessLevel		4.
	
:level_139
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:skate;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P60M";
	:fitnessLevel		5.
	
:level_140
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:skate;
	:inOut		:out;
	:location	:sandrasLake;
	:duration	"P80M";
	:fitnessLevel		6.
	
:level_141
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:yoga;
	:inOut		:in;
	:location	:lukesHall;
	:duration	"P10M";
	:fitnessLevel		1.
	
:level_142
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:yoga;
	:inOut		:in;
	:location	:lukesHall;
	:duration	"P20M";
	:fitnessLevel		2.
	
:level_143
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:yoga;
	:inOut		:in;
	:location	:lukesHall;
	:duration	"P40M";
	:fitnessLevel		3.
	
:level_144
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:yoga;
	:inOut		:in;
	:location	:lukesHall;
	:duration	"P60M";
	:fitnessLevel		4.
	
:level_145
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:yoga;
	:inOut		:in;
	:location	:lukesHall;
	:duration	"P80M";
	:fitnessLevel		5.
	
:level_146
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:hike;
	:inOut		:out;
	:location	:applePark;
	:duration	"P10M";
	:fitnessLevel		2.
	
:level_147
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:hike;
	:inOut		:out;
	:location	:applePark;
	:duration	"P20M";
	:fitnessLevel		4.

:level_148
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:hike;
	:inOut		:out;
	:location	:applePark;
	:duration	"P40M";
	:fitnessLevel		6.
	
:level_149
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:hike;
	:inOut		:out;
	:location	:applePark;
	:duration	"P60M";
	:fitnessLevel		10.
	
:level_150
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:hike;
	:inOut		:out;
	:location	:applePark;
	:duration	"P80M";
	:fitnessLevel		10.
	
:level_151
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:baseball;
	:inOut		:out;
	:location	:fenway;
	:duration	"P10M";
	:fitnessLevel		2.
	
:level_152
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:baseball;
	:inOut		:out;
	:location	:fenway;
	:duration	"P20M";
	:fitnessLevel		4.
	
:level_153
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:baseball;
	:inOut		:out;
	:location	:fenway;
	:duration	"P40M";
	:fitnessLevel		6.
	
:level_154
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:baseball;
	:inOut		:out;
	:location	:fenway;
	:duration	"P60M";
	:fitnessLevel		10.
	
:level_155
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:baseball;
	:inOut		:out;
	:location	:fenway;
	:duration	"P80M";
	:fitnessLevel		10.
	
#########################
# PREFERRED GROUP SIZES #
#########################	

:groupSize_14
	rdf:type	:GroupSize;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:min		1;
	:max		4.
	
:groupSize_15
	rdf:type	:GroupSize;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:min		1;
	:max		4.
	
:groupSize_16
	rdf:type	:GroupSize;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:in;
	:min		1;
	:max		5.
	
:groupSize_17
	rdf:type	:GroupSize;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:out;
	:min		2;
	:max		5.
	
:groupSize_18
	rdf:type	:GroupSize;
	:profileID	:p0003;
	:activity	:skate;
	:inOut		:out;
	:min		1;
	:max		6.
	
:groupSize_19
	rdf:type	:GroupSize;
	:profileID	:p0003;
	:activity	:yoga;
	:inOut		:in;
	:min		1;
	:max		13.
	
:groupSize_20
	rdf:type	:GroupSize;
	:profileID	:p0003;
	:activity	:hike;
	:inOut		:out;
	:min		1;
	:max		15.
	
:groupSize_21
	rdf:type	:GroupSize;
	:profileID	:p0003;
	:activity	:baseball;
	:inOut		:out;
	:min		2;
	:max		25.

#######################
# PARTICIPATION CHECK #
#######################

{
 ?rsvpQuery
	rdf:type	:RSVPQuery;
	:profileID	:p0003;
	:minRSVP	?MinRSVP;
	:maxRSVP	?MaxRSVP.
	
 ?groupSize
	rdf:type	:GroupSize;
	:profileID	?ProfileID;
	:activity	?Activity;
	:inOut		?Ambience;
	:min		?Min;
	:max		?Max.
	
 ?MinRSVP math:notLessThan ?Min.
 
 ?MaxRSVP math:notGreaterThan ?Max.
}
=>
{
 _:participation
	rdf:type	:Participation;
	:profileID	:p0003;
	:activity	?Activity;
	:inOut		?Ambience;
	:min		?MinRSVP;
	:max		?MaxRSVP.
}.

##############################
# ACTIVITIES - WALKING (OUT) #
##############################

{
 ?calendar
	rdf:type	:Calendar;
	:profileID	:p0003;
	:calendarID	?CalendarID.
	
 ?event
	rdf:type	:Event;
	:calendarID ?CalendarID;
	:aspect		:Walking;
	:tense		:possible;
	:startTime	?StartTime;
	:endTime	?EndTime.

 ?participation
	rdf:type	:Participation;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:min		?MinRSVP;
	:max		?MaxRSVP.
	
 ?season
	rdf:type	:Season;
	:startTime	?StartTime;
	:value		?TheSeason.
	
 ?TheSeason log:notEqualTo :winter.
	
 ?forecast
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:sky;
	:value		?Weather.
	
 ?forecast_2
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:temperature;
	:value		?Temp.
	
 ?Weather log:notEqualTo :raining.
 
 ?Temp math:notGreaterThan 25.
 
 ?map
	rdf:type	:Map;
	:profileID	:p0003;
	:mapID		?MapID.
	
 ?meetup
	rdf:type	:Meetup;
	:mapID		?MapID;
	:activity	:walk;
	:inOut		:out;
	:location	?Place.	
	
 ?level
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:walk;
	:inOut		:out;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
	
 ?fitness
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	?StartTime;
	:expectedFitness	?ExpectedFitness.
	
 ?ExpectedFitness math:notLessThan ?FitnessLevel.
 
 ?goodDuration
	rdf:type	:GoodDuration;
	:duration	?Duration;
	:startTime	?StartTime;
	:endTime	?EndTime.
}
=>
{
 _:myActivity
	rdf:type	:MyActivity;
	:profileID	:p0003;
	:activity	:Walking;
	:inOut		:out;
	:minRSVP	?MinRSVP;
	:maxRSVP	?MaxRSVP;
	:startTime	?StartTime;
	:endTime	?EndTime;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
}.

##############################
# ACTIVITIES - RUNNING (OUT) #
##############################

{
 ?calendar
	rdf:type	:Calendar;
	:profileID	:p0003;
	:calendarID	?CalendarID.

 ?event
	rdf:type	:Event;
	:calendarID ?CalendarID;
	:aspect		:Running;
	:tense		:possible;
	:startTime	?StartTime;
	:endTime	?EndTime.

 ?participation
	rdf:type	:Participation;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:min		?MinRSVP;
	:max		?MaxRSVP.
 
 ?season
	rdf:type	:Season;
	:startTime	?StartTime;
	:value		?TheSeason.
	
 ?TheSeason log:notEqualTo :winter.
	
 ?forecast
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:temperature;
	:value		?Temp.
 
 ?Temp	math:notGreaterThan	30.
 
 ?map
	rdf:type	:Map;
	:profileID	:p0003;
	:mapID		?MapID.
	
 ?meetup
	rdf:type	:Meetup;
	:mapID		?MapID;
	:activity	:run;
	:inOut		:out;
	:location	?Place.	
	
 ?level
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:run;
	:inOut		:out;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
	
 ?fitness
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	?StartTime;
	:expectedFitness	?ExpectedFitness.
	
 ?ExpectedFitness math:notLessThan ?FitnessLevel.
 
 ?goodDuration
	rdf:type	:GoodDuration;
	:duration	?Duration;
	:startTime	?StartTime;
	:endTime	?EndTime.
}
=>
{
 _:myActivity
	rdf:type	:MyActivity;
	:profileID	:p0003;
	:activity	:Running;
	:inOut		:out;
	:minRSVP	?MinRSVP;
	:maxRSVP	?MaxRSVP;
	:startTime	?StartTime;
	:endTime	?EndTime;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
}.

##############################
# ACTIVITIES - SWIMMING (IN) #
##############################

{
 ?calendar
	rdf:type	:Calendar;
	:profileID	:p0003;
	:calendarID	?CalendarID.

 ?event
	rdf:type	:Event;
	:calendarID ?CalendarID;
	:aspect		:Swimming;
	:tense		:possible;
	:startTime	?StartTime;
	:endTime	?EndTime.
	
 ?participation
	rdf:type	:Participation;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:in;
	:min		?MinRSVP;
	:max		?MaxRSVP.

 ?season
	rdf:type	:Season;
	:startTime	?StartTime;
	:value		:summer.
	
 ?forecast
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:sky;
	:value		?Weather.
	
 ?Weather log:notEqualTo :raining.
	
 ?map
	rdf:type	:Map;
	:profileID	:p0003;
	:mapID		?MapID.

 ?meetup
	rdf:type	:Meetup;
	:mapID		?MapID;
	:activity	:swim;
	:inOut		:in;
	:location	?Place.	
	
 ?level
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:in;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
	
 ?fitness
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	?StartTime;
	:expectedFitness	?ExpectedFitness.
	
 ?ExpectedFitness math:notLessThan ?FitnessLevel.
 
 ?goodDuration
	rdf:type	:GoodDuration;
	:duration	?Duration;
	:startTime	?StartTime;
	:endTime	?EndTime.
}
=>
{
 _:myActivity
	rdf:type	:MyActivity;
	:profileID	:p0003;
	:activity	:Swimming;
	:inOut		:in;
	:minRSVP	?MinRSVP;
	:maxRSVP	?MaxRSVP;
	:startTime	?StartTime;
	:endTime	?EndTime;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
}.

###############################
# ACTIVITIES - SWIMMING (OUT) #
###############################

{
 ?calendar
	rdf:type	:Calendar;
	:profileID	:p0003;
	:calendarID	?CalendarID.

 ?event
	rdf:type	:Event;
	:calendarID ?CalendarID;
	:aspect		:Swimming;
	:tense		:possible;
	:startTime	?StartTime;
	:endTime	?EndTime.
	
  ?participation
	rdf:type	:Participation;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:out;
	:min		?MinRSVP;
	:max		?MaxRSVP.

 ?season
	rdf:type	:Season;
	:startTime	?StartTime;
	:value		:summer.
	
 ?forecast
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:sky;
	:value		?Weather.
	
 ?forecast_2
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:temperature;
	:value		?Temp.
	
 ?Weather log:notEqualTo :raining.
 ?Temp math:notLessThan	25.
 
 ?map
	rdf:type	:Map;
	:profileID	:p0003;
	:mapID		?MapID.
	
 ?meetup
	rdf:type	:Meetup;
	:mapID		?MapID;
	:activity	:swim;
	:inOut		:out;
	:location	?Place.	
	
 ?level
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:swim;
	:inOut		:out;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
	
 ?fitness
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	?StartTime;
	:expectedFitness	?ExpectedFitness.
	
 ?ExpectedFitness math:notLessThan ?FitnessLevel.
 
 ?goodDuration
	rdf:type	:GoodDuration;
	:duration	?Duration;
	:startTime	?StartTime;
	:endTime	?EndTime.
}
=>
{
 _:myActivity
	rdf:type	:MyActivity;
	:profileID	:p0003;
	:activity	:Swimming;
	:inOut		:out;
	:minRSVP	?MinRSVP;
	:maxRSVP	?MaxRSVP;
	:startTime	?StartTime;
	:endTime	?EndTime;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
}.

############################
# ACTIVITIES - SKATE (OUT) #
############################

{
 ?calendar
	rdf:type	:Calendar;
	:profileID	:p0003;
	:calendarID	?CalendarID.

 ?event
	rdf:type	:Event;
	:calendarID ?CalendarID;
	:aspect		:Swimming;
	:tense		:possible;
	:startTime	?StartTime;
	:endTime	?EndTime.
	
  ?participation
	rdf:type	:Participation;
	:profileID	:p0003;
	:activity	:skate;
	:inOut		:out;
	:min		?MinRSVP;
	:max		?MaxRSVP.
 
 ?season
	rdf:type	:Season;
	:startTime	?StartTime;
	:value		:winter.
	
 ?forecast
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:temperature;
	:value		?Temp.
	
 ?Temp math:notLessThan -10.
 ?Temp math:notGreaterThan 0.
 
 ?map
	rdf:type	:Map;
	:profileID	:p0003;
	:mapID		?MapID.
	
 ?meetup
	rdf:type	:Meetup;
	:mapID		?MapID;
	:activity	:skate;
	:inOut		:out;
	:location	?Place.	
	
 ?level
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:skate;
	:inOut		:out;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
	
 ?fitness
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	?StartTime;
	:expectedFitness	?ExpectedFitness.
	
 ?ExpectedFitness math:notLessThan ?FitnessLevel.
 
 ?goodDuration
	rdf:type	:GoodDuration;
	:duration	?Duration;
	:startTime	?StartTime;
	:endTime	?EndTime.
}
=>
{
 _:myActivity
	rdf:type	:MyActivity;
	:profileID	:p0003;
	:activity	:Skating;
	:inOut		:out;
	:minRSVP	?MinRSVP;
	:maxRSVP	?MaxRSVP;
	:startTime	?StartTime;
	:endTime	?EndTime;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
}.

##########################
# ACTIVITIES - YOGA (IN) #
##########################

{
 ?calendar
	rdf:type	:Calendar;
	:profileID	:p0003;
	:calendarID	?CalendarID.

 ?event
	rdf:type	:Event;
	:calendarID ?CalendarID;
	:aspect		:Swimming;
	:tense		:possible;
	:startTime	?StartTime;
	:endTime	?EndTime.
	
  ?participation
	rdf:type	:Participation;
	:profileID	:p0003;
	:activity	:yoga;
	:inOut		:in;
	:min		?MinRSVP;
	:max		?MaxRSVP.
 
  ?map
	rdf:type	:Map;
	:profileID	:p0003;
	:mapID		?MapID.
	
 ?meetup
	rdf:type	:Meetup;
	:mapID		?MapID;
	:activity	:yoga;
	:inOut		:in;
	:location	?Place.	
	
 ?level
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:yoga;
	:inOut		:in;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
	
 ?fitness
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	?StartTime;
	:expectedFitness	?ExpectedFitness.
	
 ?ExpectedFitness math:notLessThan ?FitnessLevel.
 
 ?goodDuration
	rdf:type	:GoodDuration;
	:duration	?Duration;
	:startTime	?StartTime;
	:endTime	?EndTime.
}
=>
{
  _:myActivity
	rdf:type	:MyActivity;
	:profileID	:p0003;
	:activity	:Yoga;
	:inOut		:in;
	:minRSVP	?MinRSVP;
	:maxRSVP	?MaxRSVP;
	:startTime	?StartTime;
	:endTime	?EndTime;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
}.

#############################
# ACTIVITIES - HIKING (OUT) #
#############################

{
 ?calendar
	rdf:type	:Calendar;
	:profileID	:p0003;
	:calendarID	?CalendarID.

 ?event
	rdf:type	:Event;
	:calendarID ?CalendarID;
	:aspect		:Hiking;
	:tense		:possible;
	:startTime	?StartTime;
	:endTime	?EndTime.
	
 ?season
	rdf:type	:Season;
	:startTime	?StartTime;
	:value		?TheSeason.
	
 ?TheSeason log:notEqualTo	:winter.
	
  ?participation
	rdf:type	:Participation;
	:profileID	:p0003;
	:activity	:hike;
	:inOut		:out;
	:min		?MinRSVP;
	:max		?MaxRSVP.
 
 ?forecast
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:sky;
	:value		?Weather.
	
 ?forecast_2
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:temperature;
	:value		?Temp.

 ?Weather log:notEqualTo :raining.
	
 ?Temp math:notLessThan 	20.
 ?Temp math:notGreaterThan	30.
	
 ?map
	rdf:type	:Map;
	:profileID	:p0003;
	:mapID		?MapID.
	
 ?meetup
	rdf:type	:Meetup;
	:mapID		?MapID;
	:activity	:hike;
	:inOut		:out;
	:location	?Place.	
	
 ?level
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:hike;
	:inOut		:out;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
	
 ?fitness
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	?StartTime;
	:expectedFitness	?ExpectedFitness.
	
 ?ExpectedFitness math:notLessThan ?FitnessLevel.
 
 ?goodDuration
	rdf:type	:GoodDuration;
	:duration	?Duration;
	:startTime	?StartTime;
	:endTime	?EndTime.
}
=>
{
  _:myActivity
	rdf:type	:MyActivity;
	:profileID	:p0003;
	:activity	:Hiking;
	:inOut		:out;
	:minRSVP	?MinRSVP;
	:maxRSVP	?MaxRSVP;
	:startTime	?StartTime;
	:endTime	?EndTime;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
}.

###############################
# ACTIVITIES - BASEBALL (OUT) #
###############################

{
 ?calendar
	rdf:type	:Calendar;
	:profileID	:p0003;
	:calendarID	?CalendarID.

 ?event
	rdf:type	:Event;
	:calendarID ?CalendarID;
	:aspect		:Baseball;
	:tense		:possible;
	:startTime	?StartTime;
	:endTime	?EndTime.
	
 ?season
	rdf:type	:Season;
	:startTime	?StartTime;
	:value		?TheSeason.
	
 ?TheSeason log:notEqualTo	:winter.
	
  ?participation
	rdf:type	:Participation;
	:profileID	:p0003;
	:activity	:baseball;
	:inOut		:out;
	:min		?MinRSVP;
	:max		?MaxRSVP.
 
 ?forecast
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:sky;
	:value		?Weather.
	
 ?forecast_2
	rdf:type	:Forecast;
	:startTime	?StartTime;
	:aspect		:temperature;
	:value		?Temp.

 ?Weather log:notEqualTo :raining.
	
 ?Temp math:notGreaterThan	30.
 
 ?map
	rdf:type	:Map;
	:profileID	:p0003;
	:mapID		?MapID.
	
 ?meetup
	rdf:type	:Meetup;
	:mapID		?MapID;
	:activity	:baseball;
	:inOut		:out;
	:location	?Place.	
	
 ?level
	rdf:type	:Level;
	:profileID	:p0003;
	:activity	:baseball;
	:inOut		:out;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
	
 ?fitness
	rdf:type	:Fitness;
	:profileID	:p0003;
	:startTime	?StartTime;
	:expectedFitness	?ExpectedFitness.
	
 ?ExpectedFitness math:notLessThan ?FitnessLevel.
 
 ?goodDuration
	rdf:type	:GoodDuration;
	:duration	?Duration;
	:startTime	?StartTime;
	:endTime	?EndTime.
}
=>
{
  _:myActivity
	rdf:type	:MyActivity;
	:profileID	:p0003;
	:activity	:Baseball;
	:inOut		:out;
	:minRSVP	?MinRSVP;
	:maxRSVP	?MaxRSVP;
	:startTime	?StartTime;
	:endTime	?EndTime;
	:location	?Place;
	:duration	?Duration;
	:fitnessLevel	?FitnessLevel.
}.