diff --git a/examples/attempto/Attempto.gf b/examples/attempto/Attempto.gf
index 0020973ce..0a58ae398 100644
--- a/examples/attempto/Attempto.gf
+++ b/examples/attempto/Attempto.gf
@@ -254,6 +254,8 @@ fun impVP : VP -> Text ;            -- go to the bank!
 fun numeralCard : Numeral -> Card ; -- fifteen banks
 fun digitsCard : Digits -> Card ;   -- 8 banks
 fun have_V2 : V2 ;                  -- has (an apple)
+fun v2_byVP : V2 -> NP -> VP ;      -- is bought by a customer
+
 
 }
 
diff --git a/examples/attempto/AttemptoEng.gf b/examples/attempto/AttemptoEng.gf
index 5e13b3aab..80ccf64fb 100644
--- a/examples/attempto/AttemptoEng.gf
+++ b/examples/attempto/AttemptoEng.gf
@@ -1,7 +1,11 @@
 --# -path=.:present
 
-concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI with
+concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI - [which_RP] with
   (Syntax = SyntaxEng),
   (Symbolic = SymbolicEng),
-  (LexAttempto = LexAttemptoEng) ;
+  (LexAttempto = LexAttemptoEng) ** open SyntaxEng, ExtraEng in {
+
+lin which_RP = SyntaxEng.which_RP | that_RP ;
+
+} ;
 
diff --git a/examples/attempto/AttemptoI.gf b/examples/attempto/AttemptoI.gf
index f81631641..9343d8bae 100644
--- a/examples/attempto/AttemptoI.gf
+++ b/examples/attempto/AttemptoI.gf
@@ -251,6 +251,7 @@ lin impVP vp = mkText (mkImp vp) ;
 lin numeralCard n = mkCard <lin Numeral n : Numeral> ;
 lin digitsCard n = mkCard <lin Digits n : Digits> ;
 lin have_V2 = Syntax.have_V2 ;
+lin v2_byVP v2 np = mkVP (passiveVP v2) (mkAdv by8agent_Prep np) ;
 
 }