
concrete TimeFlies of TimeFliesAbs = {

lin 
s1  x y = {s = x.s ++ y.s};
vp1 x   = {s = x.s};
vp2 x y = {s = x.s ++ y.s};
vp3 x y = {s = x.s ++ y.s};
np1 x   = {s = x.s};
np2 x y = {s = x.s ++ y.s};
np3 x y = {s = x.s ++ y.s};
pp1 x y = {s = x.s ++ y.s};

flyV = {s = "flies"};
timeV = {s = "time"};
likeV = {s = "like"};
flyN = {s = "flies"};
timeN = {s = "time"};
arrowN = {s = "arrow"};
anD = {s = "an"};
timeD = {s = "time"};
likeP = {s = "like"};

}
