s --> np, vp. np --> det, n. vp --> v. vp --> v, np. det --> [the]. det --> [a]. n --> [dog]. n --> [cat]. v --> [barked]. v --> [chased]. test1:-s([the, dog, barked], []). test2:-s([the, dog, chased, a, cat], []).