wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-full"

namespace { _"http://example.org#",
            dc _"http://purl.org/dc/elements/1.1#",
            onto _"http://example.org/ontology#",
            wsml _"http://www.wsmo.org/wsml/#"
          }

ontology _"http://www.example.org/ontologies/example"

axiom inputRule definedBy
    ?p[packageWeight hasValue ?w, address hasValue ?a] memberOf onto#package
    and
        wsml#lessEqual(?w,50)
    and
        ?a[deliveryContinent hasValue ?c] memberOf onto#address
    and
        (wsml#equal(?c, "Europe") or wsml#equal(?c, "North America"))
    and
        ?d[date hasValue ?dt] memberOf onto#delivery
    and
        ?dt[deliveryHour hasValue ?h, day hasValue ?deliveryDay] memberOf onto#date
    and
        wsml#greaterEqual(?h,"07:00")
    and
        wsml#lessEqual(?h,"20:00")
    and
        ?order[day hasValue ?orderDay] memberOf onto#order
    and
        numericGreaterThan(wsml#subtract\-dateTimes\-yielding\-day(?deliveryDay, ?orderDay),2).