example
frame
objects
frame-dependent properties
1
Jane
has(briefcase), at(path)
-
house
door(closed)
-
briefcase
2
Jane
has(briefcase), at(door)
-
Dennis
at(door)
-
house
door(open)
-
briefcase