% defines the syntax of a small subset of English ..!
verb(X):-op(695,xfx,X).
:-verb([equals, isa, has, owns, married, hates, loves]).
:-verb([lets, keeps, gives,gets,takes,puts,makes,does,says,sees,sends, comes, goes]).
pred(X):-op(695, xf, X).
:-pred([is_happy, is_sad, is_on, is_off]).
prep(X):-op(690,yfx, X).
:-prep([in, on, off, to, from, by, under, over,with,near,arround]).
:-prep([about, across, after, against, among, at,before,between]).
X has Y:-X keeps Y.
X equals Y:-X=Y.
:- write('Mini English loaded'), nl.