Warning: session_start(): open(/var/lib/php/sessions/sess_5lfjt7mrvi1sh1j82f8h2cf159, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
!7
/*
Event 1 happens before event 2 :=
vars {event 1, event 2, X, Y}
Event 1 happens at day X.
Event 2 happens at day Y.
X < Y.
*/
class Obj {
class Fact {}
record $HappensBefore$(A event1, B event2) extends Fact {}
record $HappensAtDay$(A event, B y) extends Fact {}
record $LessThan$(A x, A y) extends Fact {}
// Enrolling happens before graduation.
// Enrolling happens at day 200.
// Graduation happens at day 100. // Contradiction!
L facts = ll(
$HappensBefore$("enrolling", "graduation"),
$HappensAtDay$("enrolling", 200),
$HappensAtDay$("graduation", 200)
);
*() {
pnlWithHeading("Facts", facts);
}
}
p-exp { new Obj; }