input text:

dyn(event_occ(t2, customer_request_for_pc_specification, 
            received/[], high, 1/End_time, 
            (mary/individual_customer, Receiver/pc_specification),

            [entity(mary, person, [sex/female, dob/15July1974]),
             instance_of(t2, customer_requirements, 
                   [total_cost(M), less_than(M, 1000),
                    special_req(_, capability, fast_graphics)
                    ])
            ]  )). 


output is a solution: