;;Anand Mathew, Eric Furry, Gordon Bailey, Jon Sorg

Default Mt: BaseKB .
Constant: OurMt .
isa: DataMicrotheory .
genlMt: WorldLikeOursCollectorMt .

Default Mt: OurMt .

Constant: Harry .
isa: Student .
Constant: Malfoy .
isa: Student .
Constant: Ron .
isa: Student . 
Constant: Hermine .
isa: Student .

Constant: broom .
isa: CleaningDevice .

Constant: malfoyStealsBroom .
isa: Stealing-Generic .

Constant: winningMatch .
isa: SportsEvent .

Constant: lookingForBroom .
isa: LookingForAThingOrTypeOfThing .

Constant: HarryKeepsSecret.
isa: Event.

Constant: BroomFound.
isa: Event.

F: (likesAsFriend Harry Hermine) .
F: (likesAsFriend Hermine Harry) .
F: (likesAsFriend Harry Ron) .
F: (likesAsFriend Ron Harry) .
F: (likesAsFriend Ron Hermine) .
F: (likesAsFriend Hermine Ron) .
F: (dislikes-Generic Malfoy Harry) .

F: (causes-PropProp (possesses Harry broom) (successfulForAgents winningMatch Harry)) .

F: (goals Harry (successfulForAgents winningMatch Harry)) .
F: (goals Malfoy (not (successfulForAgents winningMatch Harry))) .
F: (purposeInEvent Malfoy malfoyStealsBroom (not (successfulForAgents winningMatch Harry))).
F: (knows Harry (causedBy winningMatch BroomFound)).
F: (purposeInEvent Harry lookingForBroom (resourceAvailable Harry broom)).
F: (purposeInEvent Harry HarryKeepsSecret (not (knowsAbout Malfoy BroomFound))).

F: (causedBy BroomFound lookingForBroom).
F: (causedBy lookingForBroom malfoyStealsBroom).