1% This file is part of the Attempto Parsing Engine (APE).
    2% Copyright 2008-2013, Attempto Group, University of Zurich (see http://attempto.ifi.uzh.ch).
    3%
    4% The Attempto Parsing Engine (APE) is free software: you can redistribute it and/or modify it
    5% under the terms of the GNU Lesser General Public License as published by the Free Software
    6% Foundation, either version 3 of the License, or (at your option) any later version.
    7%
    8% The Attempto Parsing Engine (APE) is distributed in the hope that it will be useful, but WITHOUT
    9% ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
   10% PURPOSE. See the GNU Lesser General Public License for more details.
   11%
   12% You should have received a copy of the GNU Lesser General Public License along with the Attempto
   13% Parsing Engine (APE). If not, see http://www.gnu.org/licenses/.
   14
   15
   16:- module(drs_ops, [
   17		drs_operator/1,
   18		unary_drs_operator/1,
   19		binary_drs_operator/1
   20	]).

 drs_operator(?DRSOperator)

   30drs_operator(DRSOperator) :-
   31	(
   32		unary_drs_operator(DRSOperator)
   33	;
   34		binary_drs_operator(DRSOperator)
   35	).

 unary_drs_operator(?DRSOperator)

   40unary_drs_operator(-).
   41unary_drs_operator(~).
   42unary_drs_operator(can).
   43unary_drs_operator(must).
   44unary_drs_operator(should).
   45unary_drs_operator(may).
   46unary_drs_operator(question).
   47unary_drs_operator(command).

 binary_drs_operator(?DRSOperator)

   52binary_drs_operator(=>).
   53binary_drs_operator(v)