Manual example
yvoawk opened this issue · comments
I'm seeking clarification on the RTEC example provided in the manual.
Specifically, in response to the query "?- holdsFor(happy(chris)=true,I)," I hold the inclination that it shouldn't have a specified end time. My rationale behind this is the absence of any rule defining the termination of the 'location' fluent.
Thank you!