Movie Detour<br>Will and his friends went to the movie theater. They were pumped about a new movie's opening night. When they arrived, their movie had been sold out. They decided to see a comedy instead. They couldn't believe how much fun they had at the comedy!
The movie Will and his friends saw was funny
It was a comedy and comedies are funny. I think the system got it wrong because the statement requires an inference
( z1 funny :domain ( z2 movie :ARG1-of ( z3 see :ARG0 ( z4 and :op ( z5 person :name ( z6 name :op "Will" ) ) :op ( z7 person :ARG0-of ( z8 have-rel-role :ARG1 z5 :ARG2 ( z9 friend ) ) ) ) ) ) )