Tired<br>Eric went to the gym. He had a very strenuous cardio workout. He ran almost seven miles. When he went home he took a shower. Then he sat down and immediately fell asleep.
7 miles is a lot to run for Eric
( z1 lot :domain ( z2 distance-quantity :quant 7 :unit ( z3 mile ) :ARG1-of ( z4 run :ARG0 ( z5 person :name ( z6 name :op "Eric" ) ) ) ) )