[[ let the "L-meaning" of P be a function from interpretations to True/False ]] -- http://lists.w3.org/Archives/Public/www-tag/2006Sep/0040.html
this is currying. See Nary in the esw wiki, CoordinateProperties.It's like the chicago time of an event, or the weight in kilograms of a thing.
larch checking, implicit subscripting, "we leave that implicit where it's clear".
owl-time, semweb deployment WG -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
