Permalink
Fetching contributors…
Cannot retrieve contributors at this time
36 lines (22 sloc) 514 Bytes
a person is a thing.
a man is a person.
a woman is a person.
loves is exists, subj a person, who a person.
marries is exists, subj a person, who a person.
(LovesVerb1 Person1, who Person2)
<-
condition &= count('(LovesVerb1 Person1, who Person2)') == 2
if condition:
f = open('ho', 'w')
f.write('ho')
f.close()
->
(marries Person2, who Person1).
john is a man.
yoko is a woman.
(loves john, who yoko).
(loves yoko, who john).
(marries john, who yoko)?
true
(marries yoko, who john)?
false